447 search results - page 55 / 90 » Rule Languages for Security and Privacy in Cooperative Syste... |
193
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
147
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
151
click to vote
ACSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
The RBAC96 access control model has been the basis for extensive work on role-based constraint specification and role-based delegation. However, these practical extensions can als...
121
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
This report is a companion to the paper “Refactoring References for Library Migration” published at the ACM SIGPLAN International Conference on Systems, Programming, Languages...
273
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...