2236 search results - page 86 / 448 » Secure Software Design in Practice |
131
Voted
HOTOS
1997
IEEE
15 years 6 months ago
1997
IEEE
Although component software has emerged as one of the most significant and commercially successful technologies of the past few years, few operating systems are designed to host a...
105
Voted
CLEIEJ
2007
15 years 2 months ago
2007
: Several business areas, like Management and Negotiation, have used games like a didactic way to simulate world reality, to introduce students to the day-to-day generated problems...
121
Voted
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
121
Voted
DGO
2008
15 years 3 months ago
2008
This paper provides an interim report on ongoing data collection and analysis efforts as part of a large-scale study of information technology- focused interagency collaborations ...
144
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...