405 search results - page 26 / 81 » Practice-Oriented Provable Security |
INDOCRYPT
2003
Springer
14 years 22 days ago
2003
Springer
OMAC, TMAC and XCBC are CBC-type MAC schemes which are provably secure for arbitrary message length. In this paper, we present a more tight upper bound on Advmac for each scheme, w...
CSR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In 1992, A. Hiltgen [1] provided the first constructions of provably (slightly) secure cryptographic primitives, namely feebly one-way functions. These functions are pro...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Anonymity is increasingly important for network applications concerning about censorship and privacy. The existing anonymous communication protocols generally stem from mixnet and...
PKC
2012
Springer
11 years 10 months ago
2012
Springer
In this work, we study a new multivariate quadratic (MQ) assumption that can be used to construct public-key encryption schemes. In particular, we research in the following two di...
BPM
2003
Springer
14 years 24 days ago
2003
Springer
We present a general methodology for integrating arbitrary security requirements in the development of business processes in a both elegant and rigorous way. We show how trust rela...