학술논문
Flow logic for Dolev–Yao secrecy in cryptographic processes
Document Type
Article
Author
Source
In Future Generation Computer Systems 2002 18(6):747-756
Subject
Language
ISSN
0167-739X