JCS 1998 | Sciweavers

33

JCS
1998

117views more JCS 1998»

A Semantic-Based Transaction Processing Model for Multilevel Transactions

13 years 11 months ago

Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...

Indrakshi Ray, Paul Ammann, Sushil Jajodia

claim paper

Read More »

34

click to vote

JCS
1998

85views more JCS 1998»

The Inductive Approach to Verifying Cryptographic Protocols

13 years 11 months ago

Download www.cl.cam.ac.uk

Lawrence C. Paulson

claim paper

Read More »

53

click to vote

JCS
1998

338views more JCS 1998»

Intrusion Detection Using Sequences of System Calls

13 years 11 months ago

Download www.cs.unm.edu

A method is introducted for detecting intrusions at the level of privileged processes. Evidence is given that short sequences of system calls executed by running processes are a g...

Steven A. Hofmeyr, Stephanie Forrest, Anil Somayaj...

claim paper

Read More »

39

click to vote

JCS
1998

82views more JCS 1998»

On SDSI's Linked Local Name Spaces

13 years 11 months ago

Download reference.kfupm.edu.sa

Rivest and Lampson have recently introduced SDSI, a Simple Distributed Security Infrastructure. One of the important innovations of SDSI is the use of linked local name spaces. Th...

Martín Abadi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers