%0 Conference Paper %1 conf/otm/TalamoAPDIM08 %A Talamo, Maurizio %A Arcieri, Franco %A Penna, Giuseppe Della %A Dimitri, Andrea %A Intrigila, Benedetto %A Magazzeni, Daniele %B OTM Conferences (2) %D 2008 %E Meersman, Robert %E Tari, Zahir %I Springer %K dblp %P 1131-1139 %T Verifying Extended Criteria for the Interoperability of Security Devices. %U http://dblp.uni-trier.de/db/conf/otm/otm2008-2.html#TalamoAPDIM08 %V 5332 %@ 978-3-540-88872-7

@inproceedings{conf/otm/TalamoAPDIM08, added-at = {2017-05-25T00:00:00.000+0200}, author = {Talamo, Maurizio and Arcieri, Franco and Penna, Giuseppe Della and Dimitri, Andrea and Intrigila, Benedetto and Magazzeni, Daniele}, biburl = {https://www.bibsonomy.org/bibtex/2ee3d01472fc251f859fe3c5d974085dc/dblp}, booktitle = {OTM Conferences (2)}, crossref = {conf/otm/2008-2}, editor = {Meersman, Robert and Tari, Zahir}, ee = {https://doi.org/10.1007/978-3-540-88873-4_14}, interhash = {7ff455105c5f8c82531a6b4e82935e4f}, intrahash = {ee3d01472fc251f859fe3c5d974085dc}, isbn = {978-3-540-88872-7}, keywords = {dblp}, pages = {1131-1139}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:23:37.000+0200}, title = {Verifying Extended Criteria for the Interoperability of Security Devices.}, url = {http://dblp.uni-trier.de/db/conf/otm/otm2008-2.html#TalamoAPDIM08}, volume = 5332, year = 2008 }