32 search results - page 5 / 7 » Compositional Refinement of Policies in UML - Exemplified fo... |
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
VLDB
2006
ACM
14 years 7 months ago
2006
ACM
Abstract The protection of customer privacy is a fundamental issue in today's corporate marketing strategies. Not surprisingly, many research efforts have proposed new privacy...
POLICY
2001
Springer
13 years 11 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...