Proving Properties of Security Protocols by Induction
収録刊行物
-
- 10th Computer Security Foundations Workshop
-
10th Computer Security Foundations Workshop 1997
10th Computer Security Foundations Workshop 1997