65 search results - page 4 / 13 » Correcting Access Restrictions to a Consequence |
ECOOP
1993
Springer
13 years 9 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
PVLDB
2010
13 years 15 days ago
2010
Recent legislation has increased the requirements of organizations to report data breaches, or unauthorized access to data. While access control policies are used to restrict acce...
FASE
2008
Springer
13 years 7 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...
SERVICES
2010
13 years 7 months ago
2010
Today's ubiquitous internet access has opened new opportunities for mobile workers. By using portable devices, the workers are not only able to access their company's dat...
FM
1999
Springer
13 years 10 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...