PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Latella D., Lenzini G. Towards model checking a spi-calculus dialect. Technical report, 2002.
 
 
Abstract
(English)
No abstract available
Subject Model checking
spi-calculus
Security protocols
D.2.4 Software/Program Verification. Model checking
F.3.1 Specifying and Verifying and Reasoning about Programs


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional