8644 search results - page 292 / 1729 » On the Composition of Secure Systems |
197
click to vote
ACSW
2007
15 years 8 months ago
2007
Low latency anonymous network systems, such as Tor, were considered secure against timing attacks when the threat model does not include a global adversary. In this threat model t...
199
click to vote
DEBS
2010
ACM
15 years 7 months ago
2010
ACM
The provisioning of basic security mechanisms such as authentication and confidentiality is highly challenging in a content-based publish/subscribe system. Authentication of publi...
191
click to vote
CCS
2003
ACM
16 years 14 hour ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
192
click to vote
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
196
click to vote
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
Society has grown to rely on Internet services, and the number of Internet users increases every day. As more and more users become connected to the network, the window of opportu...