1363 search results - page 124 / 273 » Distributed Authorization with Distributed Grammars |
111
click to vote
WEBI
2004
Springer
15 years 4 months ago
2004
Springer
Business process describes a set of services that span enterprise boundaries and are provided by enterprises that see each other as partners. Web services is widely accepted and a...
112
click to vote
CSFW
2003
IEEE
15 years 4 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
CHARME
2003
Springer
15 years 4 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...
104
click to vote
ESORICS
2003
Springer
15 years 4 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 ...
100
click to vote
ACMACE
2007
ACM
15 years 3 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...