8623 search results - page 119 / 1725 » Software engineering for secure systems |
LCTRTS
2009
Springer
14 years 4 months ago
2009
Springer
COMPSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
Brewer and Nash, and immediately updated by this author, introduced Chinese Wall security policy models for commercial security. Applying Pawlak's idea of conflict analysis, ...
EUROSYS
2009
ACM
14 years 6 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
ICSE
2007
IEEE-ACM
14 years 3 months ago
2007
IEEE-ACM
This paper outlines our experiences with making architectural tradeoffs between performance, availability, security, and usability, in light of stringent cost and time-to-market c...