3751 search results - page 440 / 751 » Events in security protocols |
204
click to vote
ISCI
2008
15 years 6 months ago
2008
Most modern cryptographic studies design cryptosystems and algorithms using mathematical concepts. In designing and analyzing cryptosystems and protocols, mathematical concepts ar...
206
click to vote
CRISIS
2009
15 years 4 months ago
2009
IPv6 is an attractive technology for innovative services such as health care monitoring, alarm systems, peer to peer applications, virtual machine systems and so on. The generaliza...
239
click to vote
HOST
2011
IEEE
14 years 6 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
181
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
In a distributed sensor network, large number of sensors deployed which communicate among themselves to selforganize a wireless ad hoc network. We propose an energyefficient level...
180
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...