3821 search results - page 421 / 765 » A Security Model for Aglets |
154
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not...
219
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
196
click to vote
TR
2008
15 years 6 months ago
2008
A number of security vulnerabilities have been reported in the Windows, and Linux operating systems. Both the developers, and users of operating systems have to utilize significant...
212
click to vote
SMC
2010
IEEE
15 years 5 months ago
2010
IEEE
—A novel capability for modelling and simulating intra- and inter-organizational collaboration in an emergencyresponse domain is presented. This capability combines the prescript...
198
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents an architectural model for contextual-based delegation access control for pervasive computing, particularly access control mechanisms for ad hoc coalition scen...