Sciweavers

18094 search results - page 144 / 3619
» The Architecture of Secure Systems
Sort
View
CODES
2006
IEEE
15 years 1 months ago
Architectural support for safe software execution on embedded processors
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
Divya Arora, Anand Raghunathan, Srivaths Ravi, Nir...
SIS
2004
15 years 1 months ago
Towards a Systematic Development of Secure Systems
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
Ruth Breu, Klaus Burger, Michael Hafner, Gerhard P...
ISPEC
2009
Springer
15 years 6 months ago
An Empirical Investigation into the Security of Phone Features in SIP-Based VoIP Systems
Ruishan Zhang, Xinyuan Wang, Xiaohui Yang, Ryan Fa...
CSFW
2003
IEEE
15 years 5 months ago
A Derivation System for Security Protocols and its Logical Formalization
Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...
ESORICS
1992
Springer
15 years 3 months ago
Towards Security in an Open Systems Federation
John A. Bull, Li Gong, Karen R. Sollins