1599 search results - page 98 / 320 » Program Analysis for Security and Privacy |
125
click to vote
CSFW
1994
IEEE
15 years 8 months ago
1994
IEEE
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...
121
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Programming languages are the primary mechanism by which software is created, yet most of us have access to only a few, fixed, programming languages. Any problem we wish to expre...
139
Voted
CSFW
1997
IEEE
15 years 8 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
140
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
138
click to vote
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Biometric information is regarded as highly sensitive information and therefore encryption techniques for biometric information are needed to address security and privacy...