Search dblp for Publications

export results for "toc:db/conf/ccs/ccs2006fmse2006.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ccs/CederquistD06,
  author       = {Jan Cederquist and
                  Muhammad Torabi Dashti},
  editor       = {Marianne Winslett and
                  Andrew D. Gordon and
                  David Sands},
  title        = {An intruder model for verifying liveness in security protocols},
  booktitle    = {Proceedings of the 2006 {ACM} workshop on Formal methods in security
                  engineering, {FMSE} 2006, Alexandria, VA, USA, November 3, 2006},
  pages        = {23--32},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1180337.1180340},
  doi          = {10.1145/1180337.1180340},
  timestamp    = {Mon, 14 Feb 2022 09:20:27 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/CederquistD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccs/CrafaR06,
  author       = {Silvia Crafa and
                  Sabina Rossi},
  editor       = {Marianne Winslett and
                  Andrew D. Gordon and
                  David Sands},
  title        = {P-congruences as non-interference for the pi-calculus},
  booktitle    = {Proceedings of the 2006 {ACM} workshop on Formal methods in security
                  engineering, {FMSE} 2006, Alexandria, VA, USA, November 3, 2006},
  pages        = {13--22},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1180337.1180339},
  doi          = {10.1145/1180337.1180339},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/CrafaR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccs/DesmetPJV06,
  author       = {Lieven Desmet and
                  Frank Piessens and
                  Wouter Joosen and
                  Pierre Verbaeten},
  editor       = {Marianne Winslett and
                  Andrew D. Gordon and
                  David Sands},
  title        = {Bridging the gap between web application firewalls and web applications},
  booktitle    = {Proceedings of the 2006 {ACM} workshop on Formal methods in security
                  engineering, {FMSE} 2006, Alexandria, VA, USA, November 3, 2006},
  pages        = {67--77},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1180337.1180344},
  doi          = {10.1145/1180337.1180344},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/DesmetPJV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccs/LeeBOG06,
  author       = {Adam J. Lee and
                  Jodie P. Boyer and
                  Lars E. Olson and
                  Carl A. Gunter},
  editor       = {Marianne Winslett and
                  Andrew D. Gordon and
                  David Sands},
  title        = {Defeasible security policy composition for web services},
  booktitle    = {Proceedings of the 2006 {ACM} workshop on Formal methods in security
                  engineering, {FMSE} 2006, Alexandria, VA, USA, November 3, 2006},
  pages        = {45--54},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1180337.1180342},
  doi          = {10.1145/1180337.1180342},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/LeeBOG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccs/MaySGL06,
  author       = {Michael J. May and
                  Wook Shin and
                  Carl A. Gunter and
                  Insup Lee},
  editor       = {Marianne Winslett and
                  Andrew D. Gordon and
                  David Sands},
  title        = {Securing the drop-box architecture for assisted living},
  booktitle    = {Proceedings of the 2006 {ACM} workshop on Formal methods in security
                  engineering, {FMSE} 2006, Alexandria, VA, USA, November 3, 2006},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1180337.1180338},
  doi          = {10.1145/1180337.1180338},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/MaySGL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccs/NaldurgSRL06,
  author       = {Prasad Naldurg and
                  Stefan Schwoon and
                  Sriram K. Rajamani and
                  John Lambert},
  editor       = {Marianne Winslett and
                  Andrew D. Gordon and
                  David Sands},
  title        = {\emph{NETRA}: : seeing through access control},
  booktitle    = {Proceedings of the 2006 {ACM} workshop on Formal methods in security
                  engineering, {FMSE} 2006, Alexandria, VA, USA, November 3, 2006},
  pages        = {55--66},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1180337.1180343},
  doi          = {10.1145/1180337.1180343},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/NaldurgSRL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ccs/Smith06,
  author       = {Geoffrey Smith and
                  Rafael Alp{\'{\i}}zar},
  editor       = {Marianne Winslett and
                  Andrew D. Gordon and
                  David Sands},
  title        = {Secure information flow with random assignment and encryption},
  booktitle    = {Proceedings of the 2006 {ACM} workshop on Formal methods in security
                  engineering, {FMSE} 2006, Alexandria, VA, USA, November 3, 2006},
  pages        = {33--44},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1180337.1180341},
  doi          = {10.1145/1180337.1180341},
  timestamp    = {Mon, 19 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/Smith06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ccs/2006fmse,
  editor       = {Marianne Winslett and
                  Andrew D. Gordon and
                  David Sands},
  title        = {Proceedings of the 2006 {ACM} workshop on Formal methods in security
                  engineering, {FMSE} 2006, Alexandria, VA, USA, November 3, 2006},
  publisher    = {{ACM}},
  year         = {2006},
  isbn         = {1-59593-550-9},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/2006fmse.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.