Sciweavers

409 search results - page 1 / 82
» E-Net Models of a Software System for E-Mail Security
Sort
View
COMPSAC
2010
IEEE
13 years 3 months ago
Challenges and Future Directions of Software Technology: Secure Software Development
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
Bhavani M. Thuraisingham, Kevin W. Hamlen
CORR
2010
Springer
48views Education» more  CORR 2010»
13 years 2 months ago
E-Net Models of a Software System for E-Mail Security
Nikolai Todorov Stoianov, Veselin Tsenov Tselkov
ICSR
2011
Springer
12 years 8 months ago
Software Reuse and Safety
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
William B. Frakes, John M. Favaro
IEEEARES
2009
IEEE
13 years 3 months ago
Software Inspections Using Guided Checklists to Ensure Security Goals
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
Frank Elberzhager, Alexander Klaus, Marek Jawurek
RE
2010
Springer
13 years 2 days ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis