학술논문
Secrecy in Security Protocols as Non Interference
Document Type
Article
Author
Source
In Electronic Notes in Theoretical Computer Science 2000 32:101-112
Subject
Language
ISSN
1571-0661