10038 search results - page 1573 / 2008 » Model Checking for Managers |
183
click to vote
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
Novel forms of collaboration increasingly distribute control among e-workers, thereby allowing agile and autonomous collaboration. However, this requires a novel blend of infrastr...
183
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
175
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Email worms and the spam associated with them are one of the main operational security issues today because they waste time, money and resources. The high incidence of email worms...
197
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
164
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
A broad range of industries must be able to seamlessly integrate control applications using sensors distributed in the real world and IT applications supporting various business a...