100 search results - page 20 / 20 » Secure Information Flow in a Multi-Threaded Imperative Langu... |
POPL
2006
ACM
14 years 5 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
TAPIA
2009
ACM
13 years 9 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
AGENTS
2000
Springer
13 years 9 months ago
2000
Springer
This paper presents a knowledge approach to designing team training systems using intelligent agents. We envision a computer-based training system in which teams are trained by pu...
AOSD
2009
ACM
13 years 9 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
PLDI
2009
ACM
13 years 11 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...