Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
VIAF ID: 150361155 ( Corporate )
Permalink: http://viaf.org/viaf/150361155
Preferred Forms
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Automated reasoning for security protocol analysis and issues in the theory of security, 2010: | |
Foundations and applications of security analysis, 2009: |