@INPROCEEDINGS{IS08, 
	author = {Maurizio Talamo and  Franco Arcieri and  Giuseppe Della Penna and  Andrea Dimitri and  Benedetto Intrigila and   Daniele Magazzeni},
	title = {Verifying Extended Criteria for the Interoperability of Security Devices}, 
	series = {LNCS},
	booktitle = {Proceedings of 3rd International Symposium on Information Security},
	editor = {Springer-Verlag},

	pages = {1131--1139},
	year = {2008},
	month = {11},
	volume = {5332},
}