2979 search results - page 171 / 596 » Modelling secure multiagent systems |
191
click to vote
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
This position paper addresses some of the benefits and drawbacks for security of open access to source code. After a discussion of alternative models for open access to source cod...
185
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
154
click to vote
AOSE
2006
Springer
15 years 8 months ago
2006
Springer
This paper develops a model for precisely defining how an agent interacts with objects in its environment through the use of its capabilities. Capabilities are recursively defined ...
181
click to vote
LCPC
2004
Springer
15 years 11 months ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...
193
click to vote
IWIA
2006
IEEE
16 years 13 days ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...