1490 search results - page 181 / 298 » The Logic of Authentication Protocols |
92
Voted
GC
2004
Springer
15 years 4 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
111
Voted
CCS
2011
ACM
14 years 16 days ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
101
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—In order to protect privacy, Radio Frequency Identification (RFID) systems employ Privacy-Preserving Authentication (PPA) to allow valid readers to explicitly authenticate their...
131
Voted
WMASH
2005
ACM
15 years 6 months ago
2005
ACM
Wireless access has already become a ubiquitous way to connect to the Internet, but the mushrooming of wireless access infrastructures throughout the world has given rise to a wid...
101
Voted
CADE
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...