354 search results - page 33 / 71 » On Obligations |
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
E-contracts express the rights and obligations of parties through a formal, digital representation of the contract provisions. In process intensive relationships, e-contracts conta...
EDOC
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper introduces the Ponder language for specifying distributed object enterprise concepts. Ponder, is a declarative language, which permits the specification of policies in ...
ECOOPW
1999
Springer
14 years 2 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
SP
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
WETICE
1996
IEEE
14 years 2 months ago
1996
IEEE
This paper describes a security architecture designed to support role-based access control for distributed object systems in a large-scale, multi-organisational enterprise in whic...