4008 search results - page 416 / 802 » An expressive language of signatures |
182
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
215
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
207
click to vote
KBSE
2005
IEEE
16 years 14 days ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
219
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
254
click to vote
ESOP
2004
Springer
16 years 8 days ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...