8623 search results - page 115 / 1725 » Software engineering for secure systems |
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
ESEC
1993
Springer
14 years 1 months ago
1993
Springer
We argue that, despite a substantial number of proposed and existing new database systems, a suitable database system for software development environments and especially process-c...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
AOSE
2000
Springer
14 years 1 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
WETICE
2008
IEEE
14 years 3 months ago
2008
IEEE
The importance of aviation security has increased dramatically in recent years. Frequently changing regulations and the need to adapt quickly to new and emerging threats are chall...