Search Sciweavers | Sciweavers

5119 search results - page 123 / 1024

» Security Privacy

120

click to vote

SPW
2000
Springer

68views Security Privacy» more SPW 2000»

Making Sense of Specifications: The Formalization of SET

15 years 10 months ago

Download www.ing.unitn.it

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

claim paper

Read More »

123

click to vote

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

15 years 10 months ago

Download www.cs.jhu.edu

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

claim paper

Read More »

146

click to vote

SP
1991
IEEE

85views Security Privacy» more SP 1991»

A Pattern-Oriented Intrusion-Detection Model and Its Applications

15 years 10 months ago

Download www.syros.aegean.gr

Shiuh-Pyng Shieh, Virgil D. Gligor

claim paper

Read More »

113

click to vote

SP
1987
IEEE

48views Security Privacy» more SP 1987»

Toward Verified Execution Environments

15 years 10 months ago

Download www.cs.utexas.edu

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

claim paper

Read More »

128

click to vote

EUROSEC
2010
ACM

203views Security Privacy» more EUROSEC 2010»

AESSE: a cold-boot resistant implementation of AES

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers