537 search results - page 12 / 108 » A threat-driven approach to modeling and verifying secure so... |
148
click to vote
APSCC
2008
IEEE
15 years 4 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
140
click to vote
ICSR
2011
Springer
14 years 5 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
120
click to vote
C3S2E
2009
ACM
15 years 6 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
114
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
107
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...