2812 search results - page 35 / 563 » Secrecy in Multiagent Systems |
IJFCS
2007
13 years 8 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
ISCC
2008
IEEE
14 years 2 months ago
2008
IEEE
The GSM network with the greatest worldwide number of users, succumbs to several security vulnerabilities. The Short Message Service (SMS) is one of its superior and well-tried se...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
ATVA
2008
Springer
13 years 10 months ago
2008
Springer
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...
IJNSEC
2006
13 years 8 months ago
2006
In 2004, Yoon et al. proposed a user authentication scheme based on generalized ElGamal signature scheme using smart cards. In their scheme, the previous session keys will be comp...