Symbolic partial model checking for security analysis (Contributo in atti di convegno)

Type
Label
  • Symbolic partial model checking for security analysis (Contributo in atti di convegno) (literal)
Anno
  • 2003-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-540-45215-7_10 (literal)
Alternative label
  • Martinelli F. (2003)
    Symbolic partial model checking for security analysis
    in Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security MMM03, San Pietroburgo
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Martinelli F. (literal)
Pagina inizio
  • 122 (literal)
Pagina fine
  • 134 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/chapter/10.1007%2F978-3-540-45215-7_10 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 2776 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • IIT-CNR (literal)
Titolo
  • Symbolic partial model checking for security analysis (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-540-40797-3 (literal)
Abstract
  • In this paper, we present a symbolic version of the Hennessy-Milner logic for expressing security properties. The models of the logic are CryptoCCS processes with their symbolic semantics. We study the model checking problem and partial model checking techniques for the logic. (literal)
Editore
Prodotto di
Autore CNR

Incoming links:


Prodotto
Autore CNR di
Editore di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
data.CNR.it