Sciweavers

76 search results - page 2 / 16
» Model-Based Security Engineering with UML
Sort
View
ICSE
2009
IEEE-ACM
13 years 4 months ago
Model Based Functional Testing Using Pattern Directed Filmstrips
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
Tony Clark
ICECCS
2005
IEEE
136views Hardware» more  ICECCS 2005»
14 years 20 hour ago
Model-Based Design and Analysis of Permission-Based Security
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
Jan Jürjens, Markus Lehrhuber, Guido Wimmel
SSIRI
2010
13 years 4 months ago
Model-Based Argument Analysis for Evolving Security Requirements
Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar...