OOPSLA
1993
Springer
13 years 11 months ago
1993
Springer
iam Pugh. Advice to authors of extended abstracts. http://www.acm.org/sigplan/conferences/author-info/pughadvice.html. [7] Mary Shaw. Writing good software engineering research pap...
OOPSLA
1993
Springer
13 years 11 months ago
1993
Springer
OOPSLA
1993
Springer
13 years 11 months ago
1993
Springer
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the prog...
CSFW
1992
IEEE
13 years 11 months ago
1992
IEEE
Mary Ellen Zurko Laboratory for Computer Science Massachusetts Institute of Technology and Digital Equipment Corporation Littleton, MA, 01460 This paper describes the User Attribu...
CSFW
1992
IEEE
13 years 11 months ago
1992
IEEE
This paper gives a new definition of Security, which takes causal information into account. The new definition can be used to determine the security of nondeterministic concurrent...
CSFW
1992
IEEE
13 years 11 months ago
1992
IEEE
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...
ESORICS
1994
Springer
13 years 11 months ago
1994
Springer
The Transformation Model TRM was recently introduced 10 in the literature by Sandhu and Ganta. TRM is based on the concept of transformation of rights. The propagation of access ri...
ESORICS
1994
Springer
13 years 11 months ago
1994
Springer
ESORICS
1994
Springer
13 years 11 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
ESORICS
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. An oblivious signature with n keys (or messages) is a signature that the recipient can choose one of n keys (or messages) to get signed while the signer cannot find out o...