Sciweavers

8623 search results - page 326 / 1725
» Software engineering for secure systems
Sort
View
AMAST
2008
Springer
15 years 8 months ago
A Hybrid Approach for Safe Memory Management in C
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad...
ESSOS
2011
Springer
14 years 10 months ago
SessionShield: Lightweight Protection against Session Hijacking
The class of Cross-site Scripting (XSS) vulnerabilities is the most prevalent security problem in the field of Web applications. One of the main attack vectors used in connection ...
Nick Nikiforakis, Wannes Meert, Yves Younan, Marti...
EWSA
2005
Springer
16 years 9 days ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
ICSE
2007
IEEE-ACM
16 years 6 months ago
Spotlight: A Prototype Tool for Software Plans
Software evolution is made difficult by the need to integrate new features with all previously implemented features in the system. We present Spotlight, a prototype editor for sof...
David Coppit, Robert R. Painter, Meghan Revelle
LSO
2001
Springer
15 years 11 months ago
Skills Management as Knowledge Technology in a Software Consultancy Company
This paper presents a skills management system in a medium-sized software consulting company, and how it is used. We found four different types of usage: Searching for competence t...
Torgeir Dingsøyr, Emil Røyrvik