Modeling Partial Attacks With Alloy

Search

Authors:

Amerson Lin, Mike Bond, and Jolyon Clulow

Publication Venue:

Security Protocols Workshop (SPW'07)

When Published:

Apr 1 2007

Attachment	Size
MPA-amerson-SPW07.pdf	208.95 KB

by anonymous

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte