215 search results - page 32 / 43 » Efficient Identity-Based Signatures Secure in the Standard M... |
149
click to vote
AICT
2010
IEEE
14 years 1 months ago
2010
IEEE
— Several research groups are working on designing new security architectures for 4G networks such as Hokey and Y-Comm. Since designing an efficient security module requires a cl...
JALC
2006
14 years 9 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
IANDC
2007
14 years 9 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
105
Voted
ASIACRYPT
2010
Springer
14 years 7 months ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
EUROCRYPT
2004
Springer
15 years 1 months ago
2004
Springer
We introduce Ad Hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad hoc groups, and then prove...