Search Sciweavers | Sciweavers

3088 search results - page 23 / 618

» Multichannel Security Protocols

AINA
2007
IEEE

163views Computer Networks» more AINA 2007»

Applying Web-based Networking Protocols and Software Architectures for providing adaptivity, personalization, and remotization f

14 years 2 months ago

Download www.webml.org

This paper proposes an innovative use of a mix of networking standards and software implementation technologies for the design of industrial Human Machine Interface (HMI) systems....

Alessandro Bozzon, Marco Brambilla, Piero Fraterna...

claim paper

Read More »

click to vote

AISM
2004

230views Security Privacy» more AISM 2004»

An Examination of the Security of Routing Protocol Updates

13 years 10 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

14 years 11 days 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

FOSAD
2007
Springer

78views Security Privacy» more FOSAD 2007»

Security Protocols: Principles and Calculi

14 years 2 months ago

Download users.soe.ucsc.edu

Martín Abadi

claim paper

Read More »