ACISP
2001
Springer
14 years 4 days ago
2001
Springer
ACISP
2001
Springer
14 years 4 days ago
2001
Springer
We discuss the availability questions that arise when digital time stamps are used for preserving the evidentiary value of electronic documents. We analyze the time-stamping protoc...
CSFW
2002
IEEE
14 years 18 days ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
CSFW
2002
IEEE
14 years 18 days ago
2002
IEEE
CSFW
2002
IEEE
14 years 18 days ago
2002
IEEE
CSFW
2002
IEEE
14 years 18 days ago
2002
IEEE
We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Ou...
CSFW
2002
IEEE
14 years 18 days ago
2002
IEEE
Privacy is an increasing concern in the marketplace. Although enterprises promise sound privacy practices to their customers, there is no technical mechanism to enforce them inter...
CSFW
2002
IEEE
14 years 18 days ago
2002
IEEE
The strand spaces model and the rank functions model have both been used successfully to analyse and verify security protocols running on unbounded networks. At first sight, thes...
CSFW
2002
IEEE
14 years 18 days ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...
CSFW
2002
IEEE
14 years 18 days ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...