537 search results - page 50 / 108 » A threat-driven approach to modeling and verifying secure so... |
147
click to vote
ACSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
158
click to vote
JUCS
2007
15 years 6 months ago
2007
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
175
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
137
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
130
click to vote
ATVA
2009
Springer
16 years 21 days ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...