3420 search results - page 76 / 684 » A Language-Based Approach to Security |
127
Voted
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
126
Voted
PST
2008
15 years 4 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
147
Voted
ICSR
2011
Springer
14 years 6 months ago
2011
Springer
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...
161
Voted
CSFW
2006
IEEE
15 years 8 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...
136
Voted
IPCCC
2006
IEEE
15 years 8 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...