336 search results - page 22 / 68 » Implementing CCS in Maude |
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We study the security of embedded web servers used in consumer electronic devices, such as security cameras and photo frames, and for IT infrastructure, such as wireless access po...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Social networking services well know that some users are unwilling to freely share the information they store with the service (e.g. profile information). To address this, servic...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Researchers have previously looked into the problem of determining if a given set of security hardening measures can effectively make a networked system secure. Many of them also...