507 search results - page 40 / 102 » The XTR Public Key System |
122
click to vote
MOVEP
2000
15 years 4 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
EUROCRYPT
2008
Springer
15 years 2 months ago
2008
Springer
This paper proves "tight security in the random-oracle model relative to factorization" for the lowest-cost signature systems available today: every hash-generic signatur...
84
Voted
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...
117
Voted
PKC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we fully break the Algebraic Surface Cryptosystem (ASC for short) proposed at PKC’2009 [3]. This system is based on an unusual problem in multivariate cr...
107
click to vote
FTDCS
1997
IEEE
15 years 5 months ago
1997
IEEE
In the paper we present an overview of Saga Security System, a security architecture in open distributed systems. An agent in Saga Security System is called a Saga Agent. The auth...