756 search results - page 59 / 152 » Modeling Computational Security in Long-Lived Systems |
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...
COLCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...
WS
2005
ACM
15 years 5 months ago
2005
ACM
The growing popularity of mobile networks makes them increasingly attractive to virus writers, and malicious code targeting mobile devices has already begun to appear. Unfortunate...
115
click to vote
DIM
2005
ACM
15 years 1 months ago
2005
ACM
Privacy-Enhancing Identity Management (PIM) enables users to control which personal information they provide to their communication partner(s) by partitioning their personal infor...
101
click to vote
DAGSTUHL
2007
15 years 1 months ago
2007
We give an outline of the specification and provable security features of the QUAD stream cipher proposed at Eurocrypt 2006 [6]. The cipher relies on the iteration of a multivaria...