2270 search results - page 319 / 454 » Modelling Secure IT Systems - A Survey |
147
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
142
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
140
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
146
click to vote
JSAC
2006
15 years 4 months ago
2006
Abstract-- The performance of ad hoc networks depends on cooperation and trust among distributed nodes. To enhance security in ad hoc networks, it is important to evaluate trustwor...
183
click to vote
ISI
2006
Springer
15 years 4 months ago
2006
Springer
In the paper we combine a Bayesian Network model for encoding forensic evidence during a given time interval with a Hidden Markov Model (EBN-HMM) for tracking and predicting the de...