5665 search results - page 673 / 1133 » Introduction to Computer Security |
178
click to vote
SP
1990
IEEE
15 years 11 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
180
click to vote
CTRSA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The task of developing protocols for humans to securely authenticate themselves to a remote server has been an interesting topic in cryptography as a replacement for the ...
175
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
254
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
234
click to vote
CARDIS
2006
Springer
15 years 11 months ago
2006
Springer
Massively deploying RFID systems while preserving people's privacy and data integrity is a major security challenge of the coming years. Up to now, it was commonly believed th...