671 search results - page 49 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
110
click to vote
ASIACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
A universally composable (UC) blind signature functionality requres users to commit to the message to be blindly signed. It is thereby impossible to realize in the plain model. Th...
133
click to vote
CCS
2010
ACM
14 years 10 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
136
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
130
click to vote
CARDIS
2008
Springer
15 years 3 months ago
2008
Springer
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
ESORICS
2006
Springer
15 years 5 months ago
2006
Springer
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...