4340 search results - page 96 / 868 » Formal Methods and Cryptography |
138
click to vote
TCC
2005
Springer
15 years 9 months ago
2005
Springer
A complexity-theoretic model for public-key steganography with active attacks is introduced. The notion of steganographic security against adaptive chosen-covertext attacks (SS-CC...
129
Voted
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
150
click to vote
ACNS
2003
Springer
15 years 9 months ago
2003
Springer
Pseudonym systems allow users to interact with multiple organizations anonymously by using pseudonyms. Such schemes are of significant practical relevance because it is the best m...
104
click to vote
BPM
2003
Springer
15 years 9 months 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...
