179 search results - page 4 / 36 » Security Policy Enforcement Through Refinement Process |
ESORICS
2008
Springer
13 years 7 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
ICDCS
2006
IEEE
13 years 11 months ago
2006
IEEE
Despite the large amount of Byzantine fault-tolerant algorithms for message-passing systems designed through the years, only recently algorithms for the coordination of processes ...
ENTCS
2006
13 years 5 months ago
2006
Web services represent a challenge and an opportunity for organizations wishing to expose product and services offerings through the Internet. The Web service technology provides ...
CCS
2004
ACM
13 years 11 months ago
2004
ACM
Intranet access has become an essential function for corporate users. At the same time, corporation’s security administrators have little ability to control access to corporate ...
UML
2005
Springer
13 years 11 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...