1653 search results - page 152 / 331 » Timed analysis of security protocols |
332
click to vote
POPL
2001
ACM
16 years 7 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 ...
171
click to vote
ACNS
2006
Springer
16 years 25 days 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...
242
click to vote
ICDCSW
2011
IEEE
14 years 6 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...
179
click to vote
ICDCS
2008
IEEE
16 years 1 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...
145
click to vote
STORAGESS
2005
ACM
16 years 11 days 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 ...