CSFW
1995
IEEE
13 years 11 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
CSFW
1995
IEEE
13 years 11 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
CSFW
1995
IEEE
13 years 11 months ago
1995
IEEE
Powerful applications can be implemented using command scripts. A command script is a program written by one user, called a writer, and made available to another user, called the ...
SPW
2000
Springer
13 years 11 months ago
2000
Springer
In the context of the security of wireless ad hoc networks, we previously explored the problem of secure transient association between a master and a slave device in the absence of...
SPW
2000
Springer
13 years 11 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
SPW
2000
Springer
13 years 11 months ago
2000
Springer
SPW
2000
Springer
13 years 11 months ago
2000
Springer
SPW
2000
Springer
13 years 11 months ago
2000
Springer
SP
2000
IEEE
13 years 11 months ago
2000
IEEE
Delta-certificate revocation lists (delta-CRLs) were designed to provide a more efficient way to distribute certificate status information. However, as this paper shows, in some e...
SP
2000
IEEE
13 years 11 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...