ENDL: A Logical Framework for Verifying Secure Transaction Protocols

✍ Scribed by Qingfeng Chen; Chengqi Zhang; Shichao Zhang

• Publisher: Springer-Verlag
• Year: 2005
• Tongue: English
• Weight: 951 KB
• Volume: 7
• Category: Article
• ISSN: 0219-1377
• DOI: 10.1007/s10115-003-0127-4