8623 search results - page 29 / 1725 » Software engineering for secure systems |
ICSOFT
2009
13 years 5 months ago
2009
TAPSOFT
1997
Springer
13 years 12 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...
EWSA
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we present a pattern-based software development method that preserves usability and security quality characteristics using a role-driven mapping of requirements anal...
HOTSWUP
2009
ACM
14 years 12 days ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
AOSD
2009
ACM
14 years 2 months ago
2009
ACM
Desktop client applications interact with both local and remote resources. This is both a benefit in terms of the rich features desktop clients can provide, but also a security r...