741 search results - page 45 / 149 » Verification of security protocols using LOTOS-method and ap... |
112
Voted
NDSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Application-level protocol analyzers are important components in tools such as intrusion detection systems, firewalls, and network monitors. Currently, protocol analyzers are wri...
157
Voted
MOBISYS
2008
ACM
16 years 3 months ago
2008
ACM
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...
148
click to vote
CCR
2002
15 years 3 months ago
2002
We present a simple, efficient, and secure multicast protocol with copyright protection in an open and insecure network environment. There is a wide variety of multimedia applicat...
126
click to vote
IACR
2011
14 years 3 months ago
2011
Traditional approaches to secure computation begin by representing the function f being computed as a circuit. For any function f that depends on each of its inputs, this implies ...
143
Voted
TISSEC
2008
15 years 3 months ago
2008
Hop-by-hop data aggregation is a very important technique for reducing the communication overhead and energy expenditure of sensor nodes during the process of data collection in a...