1653 search results - page 152 / 331 » Timed analysis of security protocols |
262
Voted
POPL
2001
ACM
16 years 3 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
126
click to vote
ACNS
2006
Springer
15 years 9 months ago
2006
Springer
Dependable digital signing service requires both high fault-tolerance and high intrusion-tolerance. While providing high fault-tolerance, existing approaches do not satisfy the hig...
177
click to vote
ICDCSW
2011
IEEE
14 years 3 months ago
2011
IEEE
—Developing secure wireless sensor networks (WSNs) is a complex process that involves careful design of attack test cases and security countermeasures, as well as meaningful eval...
118
Voted
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Recently, multi-hop wireless mesh networks (WMNs) have attracted increasing attention and deployment as a low-cost approach to provide broadband Internet access at metropolitan...
105
Voted
STORAGESS
2005
ACM
15 years 9 months ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...