Geneiatakis D., Lambrinoudakis C., Kambourakis G., Kafkalas A., Ehlert S., “A First Order Logic Security Verification Model for SIP”, Proceedings of the IEEE International Conference on Communications, Communications and Information Systems Security Symposium (ICC’09-CISS), IEEE Press, Dresden, Germany, June 2009.

Leave a Reply

Leave a Reply

Your email address will not be published. Required fields are marked *

© 2019 University of Piraeus, Department of Digital Systems, Systems Security Laboratory. All Rights Reserved.
Facebook
Twitter
YouTube
LinkedIn