Search Sciweavers | Sciweavers

5475 search results - page 45 / 1095

» Model Driven Security

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

14 years 1 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

14 years 1 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

14 years 1 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

14 years 1 months ago

Download www.syros.aegean.gr

Shiuh-Pyng Shieh, Virgil D. Gligor

claim paper

Read More »

click to vote

CCS
2008
ACM

112views Security Privacy» more CCS 2008»

Towards automated proofs for asymmetric encryption schemes in the random oracle model

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers