713 search results - page 42 / 143 » An Integrated Framework for Security and Dependability |
ASWEC
2008
IEEE
14 years 5 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
IWPC
2009
IEEE
14 years 5 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
IWAN
2000
Springer
14 years 2 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
JTAER
2006
13 years 10 months ago
2006
As universities seek to adopt increased e-business, e-commerce and e-learning initiates, the overall approach taken for security management within the organisation plays an increa...
CSFW
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...