890 search results - page 27 / 178 » Programming language methods in computer security |
89
Voted
CIE
2007
Springer
15 years 6 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
TCS
2010
14 years 11 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
SIGCSE
2004
ACM
15 years 6 months ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
116
click to vote
ACSAC
1998
IEEE
15 years 4 months ago
1998
IEEE
The ubiquity of the Internet connection to desktops has been both boon to business as well as cause for concern for the security of digital assets that may be unknowingly exposed....
115
click to vote
IJNSEC
2007
15 years 14 days ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...