Search Sciweavers | Sciweavers

14824 search results - page 131 / 2965

» Security - Introduction

179

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

15 years 10 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 »

116

click to vote

CCS
2004
ACM

70views Security Privacy» more CCS 2004»

Synthesising verified access control systems in XACML

15 years 10 months ago

Download www.cs.bham.ac.uk

Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev

claim paper

Read More »

139

click to vote

CSFW
2004
IEEE

137views Security Privacy» more CSFW 2004»

Abstraction and Refinement in Protocol Derivation

15 years 10 months ago

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

129

click to vote

CCS
2006
ACM

105views Security Privacy» more CCS 2006»

Measuring intrusion detection capability: an information-theoretic approach

15 years 10 months ago

Download faculty.cs.tamu.edu

Guofei Gu, Prahlad Fogla, David Dagon, Wenke Lee, ...

claim paper

Read More »

115

click to vote

CCS
2006
ACM

102views Security Privacy» more CCS 2006»

Addressing the shortcomings of one-way chains

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers