| Document Date: 2010-09-30 13:57:08
Open Document File Size: 119,26 KBShare Result on Facebook
Company Local State Transition Systems / / Country United States / / Currency pence / / / Facility University of Rijeka / University of Pennsylvania / University of London / / IndustryTerm state transition systems / bank@math.uniri.hr / collaborative systems / public key exchange protocol / / Organization University of Pennsylvania / Philadelphia / University of Rijeka / U.S. Securities and Exchange Commission / University of London / / Person Zn / / Position RT / tape head / Queen Mary / artist / secretary / / Product Tn / / ProgrammingLanguage C / / ProvinceOrState Pennsylvania / / Technology NeedhamSchroeder public key exchange protocol / /
SocialTag |
Bounded memory Dolev-Yao adversaries in collaborative systems Max Kanovich1 , Tajana Ban Kirigin2 , Vivek Nigam3 , and Andre Scedrov3 1 Queen Mary, University of London, UK