2004 search results - page 80 / 401 » Comparison of Model Checking Tools for Information Systems |
IFIP
2007
Springer
15 years 6 months ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
ECIS
2001
15 years 1 months ago
2001
The web-technology is going through major changes these years, both with respect to types of systems based on web-technology, organization of the development work, required approa...
145
click to vote
CSFW
2000
IEEE
15 years 4 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
100
click to vote
HPDC
2010
IEEE
15 years 29 days ago
2010
IEEE
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...
NOMS
2002
IEEE
15 years 4 months ago
2002
IEEE
The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information th...