Login / Signup
Browser Model for Security Analysis of Browser-Based Protocols.
Thomas Groß
Birgit Pfitzmann
Ahmad-Reza Sadeghi
Published in:
ESORICS (2005)
Keyphrases
</>
security analysis
formal model
security model
database systems