@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},
}