Sciweavers

8623 search results - page 180 / 1725
» Software engineering for secure systems
Sort
View
IRI
2006
IEEE
15 years 9 months ago
Applying the layered decision model to the design of language-based security systems
Safeguarding practices for networked systems involves decisions in at least three areas: identification of welldefined security policies, selection of cost-effective defense strat...
Huaqiang Wei, Jim Alves-Foss
SIGCSE
2006
ACM
150views Education» more  SIGCSE 2006»
15 years 8 months ago
Pedagogical techniques supported by the use of student devices in teaching software engineering
This paper describes our experiences in promoting a learning environment where active student involvement and interaction, as well as openness to diversity of ideas are supported ...
Valentin Razmov, Richard J. Anderson
72
Voted
VSTTE
2005
Springer
15 years 8 months ago
Automatic Verification of Strongly Dynamic Software Systems
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, A...
SAC
2011
ACM
14 years 5 months ago
Software security aspects of Java-based mobile phones
More and more functionality is provided by mobile phones today; this trend will continue over the next years. However, with the increasing functionality new risks go along. This n...
Karsten Sohr, Tanveer Mustafa, Adrian Nowak
EUROMICRO
2005
IEEE
15 years 8 months ago
Software Security Analysis - Execution Phase Audit
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
Bengt Carlsson, Dejan Baca