CNR Institutional Research Information System

Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques

1999
1999
Inglese
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
148
162
978-3-540-65703-3
Sì, ma tipo non specificato
1
none
Davide MarchignoliFabio Martinelli,
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
04.01 Contributo in Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/135289
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact