Search Sciweavers | Sciweavers

3821 search results - page 23 / 765

» A Security Model for Aglets

click to vote

CSFW
1996
IEEE

93views Security Privacy» more CSFW 1996»

Towards a model of storage jamming

13 years 11 months ago

Download www.cs.fsu.edu

John P. McDermott, David M. Goldschlag

claim paper

Read More »

click to vote

AINA
2004
IEEE

174views Computer Networks» more AINA 2004»

Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking

13 years 11 months ago

Download www.irisa.fr

IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...

Il-Gon Kim, Jin-Young Choi

claim paper

Read More »

click to vote

ETRICS
2006

123views Security Privacy» more ETRICS 2006»

Controlling Access to Documents: A Formal Access Control Model

13 years 11 months ago

Download www.inf.ethz.ch

Paul E. Sevinç, David A. Basin, Ernst-R&uum...

claim paper

Read More »

click to vote

OOPSLA
2000
Springer

83views Security Privacy» more OOPSLA 2000»

Improving the Java memory model using CRF

13 years 11 months ago

Download www.cs.umd.edu

Jan-Willem Maessen, Arvind, Xiaowei Shen

claim paper

Read More »

click to vote

SP
1991
IEEE

85views Security Privacy» more SP 1991»

A Pattern-Oriented Intrusion-Detection Model and Its Applications

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers