4340 search results - page 134 / 868 » Formal Methods and Cryptography |
122
click to vote
PODS
2005
ACM
16 years 4 months ago
2005
ACM
Some promising recent schemes for XML access control employ encryption for implementing security policies on published data, avoiding data duplication. In this paper we study one ...
147
click to vote
PKC
2007
Springer
15 years 10 months ago
2007
Springer
: This paper addresses the security of optimistic fair exchange in a multi-user setting. While the security of public key encryption and public key signature schemes in a single-us...
136
click to vote
ISPEC
2010
Springer
15 years 6 months ago
2010
Springer
Often authentication and confidentiality are required as simultaneous key requirements in many cryptographic applications. The cryptographic primitive called signcryption effective...
155
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
129
click to vote
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...