6164 search results - page 576 / 1233 » Teaching Computer Security |
234
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
195
click to vote
CRYPTO
1989
Springer
15 years 11 months ago
1989
Springer
Abstract. In this paper, we provide a new approach to study undeniable signatures by translating secure digital signatures to secure undeniable signatures so that the existing algo...
193
click to vote
CISC
2007
Springer
15 years 11 months ago
2007
Springer
Public key encryption with keyword search (PEKS) enables user Alice to send a secret key TW to a server that will enable the server to locate all encrypted messages containing the...
200
click to vote
CANS
2006
Springer
15 years 11 months ago
2006
Springer
Pairings on elliptic curves have been used as cryptographic primitives for the development of new applications such as identity based schemes. For the practical applications, it is...
217
click to vote
DBSEC
2009
15 years 8 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...