Search Sciweavers | Sciweavers

14824 search results - page 131 / 2965

» Security - Introduction

125

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 6 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

CCS
2004
ACM

70views Security Privacy» more CCS 2004»

Synthesising verified access control systems in XACML

15 years 6 months ago

Download www.cs.bham.ac.uk

Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev

claim paper

Read More »

Voted

CSFW
2004
IEEE

137views Security Privacy» more CSFW 2004»

Abstraction and Refinement in Protocol Derivation

15 years 6 months ago

Download www.andrew.cmu.edu

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

claim paper

Read More »

click to vote

CCS
2006
ACM

105views Security Privacy» more CCS 2006»

Measuring intrusion detection capability: an information-theoretic approach

15 years 6 months ago

Download faculty.cs.tamu.edu

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

claim paper

Read More »

click to vote

CCS
2006
ACM

102views Security Privacy» more CCS 2006»

Addressing the shortcomings of one-way chains

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers