5475 search results - page 738 / 1095 » Model Driven Security |
181
click to vote
WDAG
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...
172
click to vote
ICDCS
2006
IEEE
16 years 21 days ago
2006
IEEE
A peer-to-peer (P2P) storage system allows a network of peer computers to increase the availability of their data by replicating it on other peers in the network. In such networks...
158
click to vote
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
160
click to vote
ICDCS
2005
IEEE
16 years 8 days ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
174
click to vote
POPL
2005
ACM
16 years 7 days ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...