Back to Results
First PageMeta Content



Secrecy Analysis in Protocol Composition Logic Arnab ROY a , Anupam DATTA b , Ante DEREK c , John C. MITCHELL a , and Jean-Pierre SEIFERT d a Stanford University, USA
Add to Reading List

Document Date: 2010-07-17 01:14:16

Open Document

File Size: 239,11 KB

Share Result on Facebook

Company

Google Corporation / SafeNet / Needham / /

Country

United States / /

Event

FDA Phase / /

Facility

University of Innsbruck / Carnegie Mellon University / /

IndustryTerm

machinery / party protocol / basic protocol / local area networks / public-key infrastructure / agreement protocols / aplication server / security protocols / large-scale practical protocols / /

Organization

Carnegie Mellon University / University of Innsbruck / Stanford University / /

Product

R0 / PKINIT / V5 / /

SportsLeague

Stanford University / /

Technology

two key agreement protocols / encryption / private key / security protocols / NSL protocol / secret key / public key / same protocol / ical two party protocol / local area networks / specific protocol / Background Protocol / public-key infrastructure / basic protocol / network protocols / /

SocialTag