3003 search results - page 279 / 601 » Software Security: Building Security In |
130
click to vote
SAFECOMP
2000
Springer
15 years 9 months ago
2000
Springer
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...
144
click to vote
SAFECOMP
2000
Springer
15 years 9 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
148
click to vote
USS
2008
15 years 8 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
167
click to vote
MSCS
2008
15 years 5 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
143
click to vote
FASE
2007
Springer
16 years 3 days ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...