[OTR-dev] OTR Formal Analysis Security Properties

[Andrew S. Morrison]

As mentioned awhile back, myself and a partner are working on a formal
security analysis of OTR. Before we try to break it, I just wanted to send
you what we're working on in terms of what security properties OTR claims
to see if we're in agreement. Attached is a PDF of our working definitions
for the properties that should hold on OTR. Do you guys agree or disagree
on any of the definitions? Is anything missing? Are any of the claims too
strong or weak? Thanks.

-- 
Andrew S. Morrison
asm at cs.stanford.edu
(650) 575 9261
-------------- next part --------------
A non-text attachment was scrubbed...
Name: otr_properties.pdf
Type: application/pdf
Size: 49658 bytes
Desc: not available
URL: <http://lists.cypherpunks.ca/pipermail/otr-dev/attachments/20060213/d97238f5/attachment.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
URL: <http://lists.cypherpunks.ca/pipermail/otr-dev/attachments/20060213/d97238f5/attachment.pgp>