4511 search results - page 26 / 903 » Observation Based System Security |
115
Voted
SECURWARE
2008
IEEE
15 years 8 months ago
2008
IEEE
—A security pattern describes a particular recurring security problem that arises in specific contexts, and presents a well-proven generic solution for it [1]. This paper descri...
146
Voted
IFIPTCS
2010
14 years 11 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
111
Voted
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
99
Voted
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
138
click to vote
ISCA
2008
IEEE
15 years 1 months ago
2008
IEEE
Dynamic information flow tracking (also known as taint tracking) is an appealing approach to combat various security attacks. However, the performance of applications can severely...