Titlebook: Computer Security - ESORICS 96; 4th European Symposi Elisa Bertino,Helmut Kurth,Emilio Montolivo Conference proceedings 1996 Springer-Verla

Cpap155

GIST

Distributed proctoring,The mutual anonymity of the test takers and graders is ensured using anonymous MIXs, but an audit trail is provided in the event of a grading dispute. We discuss other applications for this protocol, more generally defined as “digital piecework.”

吹氣

Merging heterogeneous security orderings,hat all the databases comprising a mediated/federated system share the same security ordering. This assumption is often not true as the databases may have been developed independently by different agencies at different points in time. In this paper, we present techniques by which we may merge multip

散布

手銬

Formal semantics for authentication logics,ic by a possible-worlds semantics. The logic was designed for implementation in the tool AUTLOG and is able to handle most kinds of protocols used in practice. The underlying logic is a K45-logic, including negation. We replace the critical idealization step by changing the set of premises. The form

有角

concert

The impact of multilevel security on database buffer management,secure page replacement, and reader/writer synchronization. We present a client/buffer manager interface with a set of synchronization guarantees that does not delay low writers in the presence of concurrent high readers, an allocation scheme that partitions slots by security level but allows buffer

Gossamer

葡萄糖

誹謗