841 search results - page 32 / 169 » A secure architectural description language for agent system... |
125
click to vote
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
Existing authorization mechanisms fail to provide powerful and robust tools for handling security at the scale necessary for today's Internet. These mechanisms are coming unde...
103
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...
127
click to vote
KBSE
2010
IEEE
15 years 10 days ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
96
Voted
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Distributed Internet-based attacks on computer systems are becoming more prevalent. These attacks usually employ some form of automation and involve the compromise of many systems...
124
click to vote
ODRL
2004
15 years 3 months ago
2004
The paper describes experiences, ideas, and problems that were discovered while developing a digital rights management (DRM) extension to an XML browser. The supported rights desc...