915 search results - page 127 / 183 » Proof labeling schemes |
ACNS
2008
Springer
14 years 2 months ago
2008
Springer
We propose a light-weight protocol for authentication of low-power devices. Our construction PUF-HB merges the positive qualities of two families of authentication functions. PUF ...
SAMOS
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a configurable base architecture tailorable for different applications. It allows simple and rapid way to evaluate and prototype large Multi-Processor System-on...
TARK
2007
Springer
14 years 2 months ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
DEXAW
2006
IEEE
14 years 2 months ago
2006
IEEE
A significant challenge for Peer-to-Peer (P2P) systems is maintaining the correctness and consistency of their global data structures and shared contents as peers independently a...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
In a network consisting of several thousands computers, the occurrence of faults is unavoidable. Being able to test the behaviour of a distributed program in an environment where ...