Search Sciweavers | Sciweavers

8644 search results - page 42 / 1729

» On the Composition of Secure Systems

click to vote

IEEEARES
2010
IEEE

128views Security Privacy» more IEEEARES 2010»

Formal Specification and Analysis of an E-voting System

14 years 19 hour ago

Download dit.unitn.it

Komminist Weldemariam, Richard A. Kemmerer, Adolfo...

claim paper

Read More »

click to vote

OOPSLA
1998
Springer

106views Security Privacy» more OOPSLA 1998»

A Type System for Object Initialization in the Java Bytecode Language

13 years 12 months ago

Download www.cs.williams.edu

Stephen N. Freund, John C. Mitchell

claim paper

Read More »

click to vote

SP
1990
IEEE

169views Security Privacy» more SP 1990»

An Architecture for Practical Delegation in a Distributed System

13 years 11 months ago

Download sce.uhcl.edu

Morrie Gasser, E. McDermott

claim paper

Read More »

click to vote

SP
2010
IEEE

164views Security Privacy» more SP 2010»

A Proof-Carrying File System

13 years 11 months ago

Download www.cs.cmu.edu

Deepak Garg, Frank Pfenning

claim paper

Read More »

click to vote

ACISP
2006
Springer

107views Security Privacy» more ACISP 2006»

Towards an Invisible Honeypot Monitoring System

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers