8623 search results - page 242 / 1725 » Software engineering for secure systems |
155
click to vote
CBSE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. A component-based system consists of components linked by connectors. Data can reside in components and/or in external data stores. Operations on data, such as access, up...
148
click to vote
ESEC
1995
Springer
15 years 9 months ago
1995
Springer
This paper presents a case study in carrying out an audit of a large, softwareintensive system. We discuss our experience in structuring the team for obtaining maximum effectivene...
177
click to vote
OOPSLA
1999
Springer
15 years 9 months ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
150
click to vote
ICFEM
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
125
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...