CNR Institutional Research Information System

Non Interference for the Analysis of Cryptographic Protocols

2000
2000
Inglese
international Conference on Automata, Languages and Programming (ICALP)
International Conference on Automata, Languages and Programming (ICALP)
354
372
978-3-540-67715-4
Sì, ma tipo non specificato
1
none
Roberto GorrieriRiccardo FocardiFabio 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/135297
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact