Old Web
English
Sign In
Acemap
>
Paper
>
Using Non Interference for the Analysis of Security Protocols
Using Non Interference for the Analysis of Security Protocols
1997
Anna Ghelli
I Bologna
Mura Anteo Zamboni
Riccardo Focardi
Roberto Gorrieri
Keywords:
Information security
Cryptographic protocol
Information security audit
Computer security
Security analysis
Computer network
Network security policy
Asset (computer security)
Business
Security association
Security service
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
43
Citations
NaN
KQI
[]