841 search results - page 41 / 169 » A secure architectural description language for agent system... |
100
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain c...
124
click to vote
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
113
click to vote
MAS
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
151
click to vote
AOIS
2003
15 years 3 months ago
2003
Abstract. Agent-oriented modelling of software systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We show that th...
128
click to vote
ICTCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...