537 search results - page 12 / 108 » A threat-driven approach to modeling and verifying secure so... |
APSCC
2008
IEEE
13 years 9 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...
ICSR
2011
Springer
12 years 11 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...
C3S2E
2009
ACM
13 years 11 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...
ISSTA
2004
ACM
14 years 28 days 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...
DATE
2010
IEEE
13 years 12 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...