CSFW
13 years 9 months ago
2004 IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
CSFW
13 years 9 months ago
2004 IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
CSFW
13 years 9 months ago
2004 IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
CSFW
13 years 9 months ago
2004 IEEE CSFW
13 years 9 months ago
2004 IEEE |