8644 search results - page 1397 / 1729 » On the Composition of Secure Systems |
158
click to vote
EUROCRYPT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper introduces a cryptographic paradigm called selfescrowed encryption, a concept initiated by kleptography. In simple words, a self-escrowed public-key cryptosyst...
171
click to vote
RTAS
1996
IEEE
15 years 11 months ago
1996
IEEE
The proliferation of mobile computers and wireless networks requires the design of future distributed real-time applications to recognize and deal with the signi cant asymmetry be...
153
click to vote
CRYPTO
1989
Springer
15 years 11 months ago
1989
Springer
Z is a software system designed to provide media-transparent network services on a collection of UNIX® machines. These services are comprised of file transfer and command executi...
169
Voted
PKC
2010
Springer
15 years 10 months ago
2010
Springer
Network coding is a method for achieving channel capacity in networks. The key idea is to allow network routers to linearly mix packets as they traverse the network so that recipi...
149
click to vote
ITP
2010
15 years 10 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...