%0 Conference Paper %1 conf/ifm/DoughertyGR18 %A Dougherty, Daniel J. %A Guttman, Joshua D. %A Ramsdell, John D. %B IFM %D 2018 %E Furia, Carlo A. %E Winter, Kirsten %I Springer %K dblp %P 130-150 %T Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2018.html#DoughertyGR18 %V 11023 %@ 978-3-319-98938-9

@inproceedings{conf/ifm/DoughertyGR18, added-at = {2018-08-22T00:00:00.000+0200}, author = {Dougherty, Daniel J. and Guttman, Joshua D. and Ramsdell, John D.}, biburl = {https://www.bibsonomy.org/bibtex/2e55671e5127de29225416bbe56f6e156/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2018}, editor = {Furia, Carlo A. and Winter, Kirsten}, ee = {https://doi.org/10.1007/978-3-319-98938-9_8}, interhash = {e06c7e3364a35b9ffb46b038706d683d}, intrahash = {e55671e5127de29225416bbe56f6e156}, isbn = {978-3-319-98938-9}, keywords = {dblp}, pages = {130-150}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:23.000+0200}, title = {Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2018.html#DoughertyGR18}, volume = 11023, year = 2018 }