336 search results - page 24 / 68 » Implementing CCS in Maude |
128
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
129
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
137
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
We present a game-theoretic model of the interactions between server and clients in a constrained family of commercial P2P computations (where clients are financially compensated...
138
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
115
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
No matter how well designed and engineered, a mix server offers little protection if its administrator can be convinced to log and selectively disclose correspondences between it...