713 search results - page 17 / 143 » An Integrated Framework for Security and Dependability |
JSS
2006
13 years 8 months ago
2006
Ecological security is an important basis of the entire human security system, the cornerstone for human survival. Knowing the status of ecological security is crucial for making ...
TCS
2008
13 years 8 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
NCA
2006
IEEE
14 years 2 months ago
2006
IEEE
A Grid system is a Virtual Organization that is composed of several autonomous domains. Authorization in such a system needs to be flexible and scalable to support multiple securi...
ACSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...
ISICT
2003
13 years 9 months ago
2003
The Web Services Framework provides techniques to enable the application-toapplication use of the Web. It has the potential of becoming the core of a new Web-based middleware plat...