336 search results - page 19 / 68 » Implementing CCS in Maude |
CCS
2007
ACM
14 years 1 months ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Trust management represents today a promising approach for supporting access control in open environments. While several approaches have been proposed for trust management and sig...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
An optimistic acknowledgment (opt-ack) is an acknowledgment sent by a misbehaving client for a data segment that it has not received. Whereas previous work has focused on opt-ack ...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
A network covert channel is a mechanism that can be used to leak information across a network in violation of a security policy and in a manner that can be difficult to detect. In...