@InProceedings{fbbbmsp10,
author = {A.~Pironti and J.~{J}{\"u}{r}jens},
title = {Formally-Based Black-Box Monitoring of Security Protocols},
booktitle = {International Symposium on Engineering Secure Software and Systems
(ESSOS 2010)},
year = {2010},
series = {Lecture Notes in Computer Science},
pages = {79--95},
volume = {5965},
publisher = {Springer Verlag},
crossref = {DBLP:conf/essos/2010},
file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/paper_4.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-11747-3_7:URL},
keywords = {internationalConferences, secureSoftwareEngineeringSecurityMonitoring,vorsecurestreams},
}
BibTeX preprint dblp SpringerLink