8644 search results - page 1518 / 1729 » On the Composition of Secure Systems |
164
click to vote
CASSIS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
205
click to vote
CIS
2005
Springer
16 years 6 days ago
2005
Springer
Restrictive blind signatures allow a recipient to receive a blind signature on a message not known to the signer but the choice of message is restricted and must conform to certain...
207
click to vote
NOSSDAV
2005
Springer
16 years 4 days ago
2005
Springer
P2P systems inherently have high scalability, robustness and fault tolerance because there is no centralized server and the network self-organizes itself. This is achieved at the ...
155
click to vote
RAID
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. It is commonly accepted that intrusion detection systems (IDS) are required to compensate for the insufficient security mechanisms that are available on computer systems...
172
click to vote
TCC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We introduce Fair Zero-Knowledge, a multi-verifier ZK system where every proof is guaranteed to be “zero-knowledge for all verifiers.” That is, if an honest verifi...