Alfredo Pironti, Jan Jürjens. Formally-Based Black-Box Monitoring of Security Protocols. In Fabio Massacci, Dan S. Wallach, Nicola Zannone, editors, Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings. Volume 5965 of Lecture Notes in Computer Science, pages 79-95, Springer, 2010. [doi]
@inproceedings{PirontiJ10, title = {Formally-Based Black-Box Monitoring of Security Protocols}, author = {Alfredo Pironti and Jan Jürjens}, year = {2010}, doi = {10.1007/978-3-642-11747-3_7}, url = {http://dx.doi.org/10.1007/978-3-642-11747-3_7}, tags = {rule-based, protocol, security}, researchr = {https://researchr.org/publication/PirontiJ10}, cites = {0}, citedby = {0}, pages = {79-95}, booktitle = {Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings}, editor = {Fabio Massacci and Dan S. Wallach and Nicola Zannone}, volume = {5965}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-11746-6}, }