Andrew Pombortsis

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
Synthesis of attack actions using model checking for the verification of security protocols. Secur. Commun. Networks 4 (2) (2011)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
An intruder model with message inspection for model checking security protocols. Comput. Secur. 29 (1) (2010)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
State Space Reduction with Message Inspection in Security Protocol Model Checking CoRR (2009)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou
Probabilistic model checking for the quantification of DoS security threats. Comput. Secur. 28 (6) (2009)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
Attacking an OT-Based Blind Signature Scheme CoRR (2009)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou
A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. COMPSAC (2008)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. SAFECOMP (2007)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. ISPA (2006)