Nikolaos Alexiou

KTH / Aristotle University of Thessaloniki, Greece

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

other persons with the same name:

Ask others: ACM DL/Guide -

	2011
j2		Stylianos Basagiannis, Sophia G. Petridou, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros: Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach. Computers & Security 30(4): 257-272 (2011)
c3		Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros: Quantitative model checking of an RSA-based email protocol on mobile devices. ISCC 2011: 639-645
	2010
c2		Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka: Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. HASE 2010: 94-103
	2009
j1		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou: Probabilistic model checking for the quantification of DoS security threats. Computers & Security 28(6): 450-465 (2009)
	2008
c1		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou: A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. COMPSAC 2008: 12-19

Coauthor Index

Last update Sun May 19 05:42:36 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page