718 search results - page 83 / 144 » Operational Semantics of Security Protocols |
ICICS
2004
Springer
14 years 1 months ago
2004
Springer
In order to decide on advertisement fees for web servers, Naor and Pinkas introduced (threshold) metering schemes secure against coalitions of corrupt servers and clients. They sho...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
SOSP
1993
ACM
13 years 9 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...
OOPSLA
1995
Springer
13 years 11 months ago
1995
Springer
eusable framework, pattern or module interface usually is represented by abstract They form an abstract design and leave the implementation to concrete subclasses. ract design is ...
PVLDB
2010
13 years 6 months ago
2010
This is a demonstration of data coordination in a peer data management system through the employment of distributed triggers. The latter express in a declarative manner individual...