537 search results - page 14 / 108 » A threat-driven approach to modeling and verifying secure so... |
DEXAW
2008
IEEE
13 years 9 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
TAPSOFT
1997
Springer
13 years 11 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
COMPSAC
2007
IEEE
13 years 7 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
FASE
2001
Springer
14 years 41 min ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
ESSOS
2010
Springer
14 years 4 months ago
2010
Springer