Search Sciweavers | Sciweavers

12637 search results - page 229 / 2528

» Security for Extensible Systems

click to vote

JCS
2002

118views more JCS 2002»

Verified Formal Security Models for Multiapplicative Smart Cards

13 years 9 months ago

Download www.informatik.uni-augsburg.de

We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...

claim paper

Read More »

click to vote

SIGOPSE
2000
ACM

86views Operating System» more SIGOPSE 2000»

CryptoCache: a secure sharable file cache for roaming users

14 years 2 months ago

Download www.nd.edu

Christian Damsgaard Jensen

claim paper

Read More »

click to vote

SRDS
1998
IEEE

90views Operating System» more SRDS 1998»

Secure and Scalable Replication in Phalanx

14 years 1 months ago

Download www.ece.cmu.edu

Dahlia Malkhi, Michael K. Reiter

claim paper

Read More »

click to vote

SRDS
1998
IEEE

110views Operating System» more SRDS 1998»

Security in the Large: Is Java's Sandbox Scalable?

14 years 1 months ago

Download www.hpl.hp.com

Qun Zhong, Nigel Edwards

claim paper

Read More »

click to vote

SRDS
1993
IEEE

84views Operating System» more SRDS 1993»

A Secure Two Phase Locking Protocol

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers