5790 search results - page 517 / 1158 » Distributed programming with distributed authorization |
156
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
198
Voted
ESORICS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. An enterprise privacy policy often ...
154
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
175
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
This article describes the design of WikiTUI, a tangible user interface system that allows readers to manipulate multimedia information tied to page-level locations in common book...
165
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Trust-management systems address the authorization problem in distributed systems. They offer several advantages over other approaches, such as support for delegation and...