2979 search results - page 388 / 596 » Modelling secure multiagent systems |
121
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
165
click to vote
EMS
2008
IEEE
15 years 6 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...
109
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
The basic idea behind delegation is that some active entity in a system delegates authority to another active entity in order to carry out some functions on behalf of the former. ...
124
click to vote
HPDC
1996
IEEE
15 years 8 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
165
click to vote
SP
1999
IEEE
15 years 8 months ago
1999
IEEE
There is often the need to update an installed Intrusion Detection System (IDS) due to new attack methods or upgraded computing environments. Since many current IDSs are construct...