8623 search results - page 67 / 1725 » Software engineering for secure systems |
ACSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
I3E
2001
13 years 10 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
DEXAW
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a security engineering process based on security problem frames and concretized security problem frames. Both kinds of frames constitute patterns for analyzing security...
EUROMICRO
2009
IEEE
14 years 28 days ago
2009
IEEE
The use of user specific virtual machines (VMs) in Grid and Cloud computing reduces the administration overhead associated with manually installing required software for every user...
ICSE
1993
IEEE-ACM
14 years 1 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...