Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1102-5584,
  author       = {Bernardo Toninho and
                  Lu{\'{\i}}s Caires},
  editor       = {Konstantinos Chatzikokolakis and
                  V{\'{e}}ronique Cortier},
  title        = {A Spatial-Epistemic Logic for Reasoning about Security Protocols},
  booktitle    = {Proceedings 8th International Workshop on Security Issues in Concurrency,
                  SecCo 2010, Paris, France, 30th August 2010},
  series       = {{EPTCS}},
  volume       = {51},
  pages        = {1--15},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.51.1},
  doi          = {10.4204/EPTCS.51.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-5584.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1102-5585,
  author       = {Eike Best and
                  Philippe Darondeau and
                  Roberto Gorrieri},
  editor       = {Konstantinos Chatzikokolakis and
                  V{\'{e}}ronique Cortier},
  title        = {On the Decidability of Non Interference over Unbounded Petri Nets},
  booktitle    = {Proceedings 8th International Workshop on Security Issues in Concurrency,
                  SecCo 2010, Paris, France, 30th August 2010},
  series       = {{EPTCS}},
  volume       = {51},
  pages        = {16--33},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.51.2},
  doi          = {10.4204/EPTCS.51.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-5585.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1102-5586,
  author       = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
                  Aline Roumy},
  editor       = {Konstantinos Chatzikokolakis and
                  V{\'{e}}ronique Cortier},
  title        = {Covert channel detection using Information Theory},
  booktitle    = {Proceedings 8th International Workshop on Security Issues in Concurrency,
                  SecCo 2010, Paris, France, 30th August 2010},
  series       = {{EPTCS}},
  volume       = {51},
  pages        = {34--51},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.51.3},
  doi          = {10.4204/EPTCS.51.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-5586.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1102-5161,
  editor       = {Konstantinos Chatzikokolakis and
                  V{\'{e}}ronique Cortier},
  title        = {Proceedings 8th International Workshop on Security Issues in Concurrency,
                  SecCo 2010, Paris, France, 30th August 2010},
  series       = {{EPTCS}},
  volume       = {51},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.51},
  doi          = {10.4204/EPTCS.51},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-5161.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}