8644 search results - page 1412 / 1729 » On the Composition of Secure Systems |
210
Voted
POPL
2011
ACM
14 years 9 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
190
click to vote
ICPADS
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract. In identity-based (ID-based) cryptosystems, a local registration authority (LRA) is responsible for authentication of users while the key generation center (KGC) is respo...
329
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
164
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Xax is a browser plugin model that enables developers to leverage existing tools, libraries, and entire programs to deliver feature-rich applications on the web. Xax employs a nov...
193
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
A fault-scalable service can be configured to tolerate increasing numbers of faults without significant decreases in performance. The Query/Update (Q/U) protocol is a new tool t...