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}
}

@article{DBLP:journals/iacr/LeiXY10a,
  author       = {Xinfeng Lei and
                  Rui Xue and
                  Ting Yu},
  title        = {A Timed Logic for Modeling and Reasoning about Security Protocols},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {645},
  year         = {2010},
  url          = {http://eprint.iacr.org/2010/645},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/LeiXY10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecsqaru/Massacci97,
  author       = {Fabio Massacci},
  editor       = {Dov M. Gabbay and
                  Rudolf Kruse and
                  Andreas Nonnengart and
                  Hans J{\"{u}}rgen Ohlbach},
  title        = {Reasoning About Security: {A} Logic and a Decision Method for Role-Based
                  Access Control},
  booktitle    = {Qualitative and Quantitative Practical Reasoning, First International
                  Joint Conference on Qualitative and Quantitative Practical Reasoning
                  ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1244},
  pages        = {421--435},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0035639},
  doi          = {10.1007/BFB0035639},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/Massacci97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocs/GlasgowMP92,
  author       = {Janice I. Glasgow and
                  Glenn H. MacEwen and
                  Prakash Panangaden},
  title        = {A Logic for Reasoning About Security},
  journal      = {{ACM} Trans. Comput. Syst.},
  volume       = {10},
  number       = {3},
  pages        = {226--264},
  year         = {1992},
  url          = {https://doi.org/10.1145/146937.146940},
  doi          = {10.1145/146937.146940},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocs/GlasgowMP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csfw/GlasgowMP90,
  author       = {Janice I. Glasgow and
                  Glenn H. MacEwen and
                  Prakash Panangaden},
  title        = {A Logic for Reasoning about Security},
  booktitle    = {Third {IEEE} Computer Security Foundations Workshop - CSFW'90, Franconia,
                  New Hampshire, USA, June 12-14, 1990, Proceedings},
  pages        = {2--13},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/CSFW.1990.128180},
  doi          = {10.1109/CSFW.1990.128180},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/csfw/GlasgowMP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csfw/Moser89,
  author       = {Louise E. Moser},
  title        = {A Logic of Knowledge and Belief for Reasoning about Computer Security},
  booktitle    = {Second {IEEE} Computer Security Foundations Workshop - CSFW'89, Franconia,
                  New Hampshire, USA, June 11-14, 1989, Proceedings},
  pages        = {47--63},
  publisher    = {{IEEE} Computer Society},
  year         = {1989},
  url          = {https://doi.org/10.1109/CSFW.1989.40587},
  doi          = {10.1109/CSFW.1989.40587},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/csfw/Moser89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}