Search Sciweavers | Sciweavers

4340 search results - page 83 / 868

» Formal Methods and Cryptography

150

click to vote

ACNS
2008
Springer

132views Cryptology» more ACNS 2008»

Analysis of EAP-GPSK Authentication Protocol

16 years 19 days ago

Download www.math.upenn.edu

Abstract. The EAP-GPSK protocol is a lightweight, ﬂexible authentication protocol relying on symmetric key cryptography. It is part of an ongoing IETF process to develop authenti...

John C. Mitchell, Arnab Roy, Paul Rowe, Andre Sced...

claim paper

Read More »

134

click to vote

AINA
2007
IEEE

142views Computer Networks» more AINA 2007»

Agri-Food Traceability Management using a RFID System with Privacy Protection

16 years 19 days ago

Download www.cad.polito.it

In this paper an agri-food traceability system based on public key cryptography and Radio Frequency Identification (RFID) technology is proposed. In order to guarantee safety in f...

Paolo Bernardi, Claudio Demartini, Filippo Gandino...

claim paper

Read More »

139

click to vote

ICFCA
2009
Springer

132views Formal Methods» more ICFCA 2009»

Identifying Ecological Traits: A Concrete FCA-Based Approach

16 years 1 months ago

Download www.loria.fr

Aurélie Bertaux, Florence Le Ber, Agn&egrav...

claim paper