Sign in
A Type and Effect Analysis of Security Protocols.
Andrew D. Gordon
Alan Jeffrey
Published in:
SAS (2001)
Keyphrases
</>
security protocols
database
end to end