3420 search results - page 222 / 684 » A Language-Based Approach to Security |
210
click to vote
SCN
2011
Springer
15 years 3 days ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
156
click to vote
TELSYS
2010
14 years 12 months ago
2010
To ensure that safeguards are implemented to protect against a majority of known threats, industry leaders are requiring information processing systems to comply with security stan...
183
click to vote
ICDCS
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Secure neighbor discovery is fundamental to mobile ad hoc networks (MANETs) deployed in hostile environments and refers to the process in which two neighboring nodes exc...
139
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Typical web sessions can be hijacked easily by a network eavesdropper in attacks that have come to be designated "sidejacking." The rise of ubiquitous wireless networks,...
131
click to vote
PODS
2005
ACM
16 years 5 months ago
2005
ACM
Some promising recent schemes for XML access control employ encryption for implementing security policies on published data, avoiding data duplication. In this paper we study one ...