Sciweavers

5324 search results - page 82 / 1065
» Internet Security Protocols
Sort
View
IEEESP
2008
60views more  IEEESP 2008»
13 years 11 months ago
Internet Protocol Version 6
Sheila Frankel, David Green
PERCOM
2010
ACM
13 years 9 months ago
Architecture and protocols for the Internet of Things: A case study
—In this paper, we describe a practical realization of an Internet-of-Things (IoT) architecture at the University of Padova, Italy. Our network spans the floors of different bui...
Angelo Paolo Castellani, Nicola Bui, Paolo Casari,...
CORR
2011
Springer
216views Education» more  CORR 2011»
13 years 6 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
STOC
2006
ACM
116views Algorithms» more  STOC 2006»
14 years 5 months ago
Information-theoretically secure protocols and security under composition
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...
Eyal Kushilevitz, Yehuda Lindell, Tal Rabin