1183 search results - page 51 / 237 » On flow-sensitive security types |
142
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
125
click to vote
FOSAD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
168
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
152
click to vote
IPCCC
2006
IEEE
15 years 10 months ago
2006
IEEE
The increasing demand for and the wide adoption of mobile technologies have been witnessed in enterprise information technology (IT) environments in recent years. However, there e...
154
click to vote
NDSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents the design and analysis of a multilayer protection scheme against denial-of-service (DoS) attacks in IP telephony enabled enterprise networks. While there are ...