Search Sciweavers | Sciweavers

5119 search results - page 123 / 1024

» Security Privacy

click to vote

SPW
2000
Springer

68views Security Privacy» more SPW 2000»

Making Sense of Specifications: The Formalization of SET

15 years 7 months ago

Download www.ing.unitn.it

Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...

claim paper

Read More »

100

click to vote

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

15 years 7 months ago

Download www.cs.jhu.edu

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

claim paper

Read More »

122

click to vote

SP
1991
IEEE

85views Security Privacy» more SP 1991»

A Pattern-Oriented Intrusion-Detection Model and Its Applications

15 years 7 months ago

Download www.syros.aegean.gr

Shiuh-Pyng Shieh, Virgil D. Gligor

claim paper

Read More »

click to vote

SP
1987
IEEE

48views Security Privacy» more SP 1987»

Toward Verified Execution Environments

15 years 7 months ago

Download www.cs.utexas.edu

William R. Bevier, Warren A. Hunt Jr., William D. ...

claim paper

Read More »

click to vote

EUROSEC
2010
ACM

203views Security Privacy» more EUROSEC 2010»

AESSE: a cold-boot resistant implementation of AES

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers