Search Sciweavers | Sciweavers

3751 search results - page 20 / 751

» Events in security protocols

click to vote

AISM
2004

230views Security Privacy» more AISM 2004»

An Examination of the Security of Routing Protocol Updates

13 years 9 months ago

Download igneous.scis.ecu.edu.au

The exchange of routing protocol updates is used to ensure that routers using an Internal Gateway Protocol (IGP) in an Autonomous System (AS), or routers using an External Gateway...

G. Murphy

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

VIZSEC
2004
Springer

186views Visualization» more VIZSEC 2004»

PortVis: a tool for port-based detection of security events

14 years 1 months ago

Download www.cs.ucdavis.edu

Most visualizations of security-related network data require large amounts of ﬁnely detailed, high-dimensional data. However, in some cases, the data available can only be coars...

Jonathan McPherson, Kwan-Liu Ma, Paul Krystosk, To...

claim paper

Read More »

click to vote

FOSAD
2007
Springer

78views Security Privacy» more FOSAD 2007»

Security Protocols: Principles and Calculi

14 years 1 months ago

Download users.soe.ucsc.edu

Martín Abadi

claim paper

Read More »