3115 search results - page 519 / 623 » Synthesizing Secure Protocols |
159
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
236
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
195
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
176
click to vote
WWW
2011
ACM
14 years 11 months ago
2011
ACM
The problem of answering SPARQL queries over virtual SPARQL views is commonly encountered in a number of settings, including while enforcing security policies to access RDF data, ...
168
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
Significant progress has been made towards making ad hoc networks secure and DoS resilient. However, little attention has been focused on quantifying DoS resilience: Do ad hoc ne...