Peron, Adriano (2007) TPMC: A Model Checker for Time-Sensitive Security Protocols. In: High performance computing and simulation conference (HPCS 2007), June, 4-6, 2007, Prague.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Title: TPMC: A Model Checker for Time-Sensitive Security Protocols
Creators:
CreatorsEmail
Peron, AdrianoUNSPECIFIED
Autor/s: BENERECETTI M; CUOMO N; A. PERON
Date: 2007
Number of Pages: 0
Department: Scienze fisiche
Event Title: High performance computing and simulation conference (HPCS 2007)
Event Location: Prague
Event Dates: June, 4-6, 2007
Title of Book: Proceedings of the 2007 high performance computing and simulation conference (HPCS 2007)
Date: 2007
Page Range: pp. 742-749
Number of Pages: 0
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5650

Actions (login required)

View Item View Item