Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England) profile picture

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Foundations and applications of security analysis