890 search results - page 38 / 178 » Programming language methods in computer security |
79
Voted
SP
1996
IEEE
15 years 4 months ago
1996
IEEE
A method for anomaly detection is introduced in which "normal" is defined by short-range correlations in a process' system calls. Initial experiments suggest that t...
98
Voted
APLAS
2004
ACM
15 years 4 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
123
Voted
ACMSE
2006
ACM
15 years 6 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
109
click to vote
USM
2000
15 years 4 months ago
2000
Jini is an infrastructure built on top of the mobile code facilities of the Java programming language enabling clients and services to spontaneously engage in arbitrary usage scena...
107
Voted
VEE
2009
ACM
15 years 7 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...