1597 search results - page 82 / 320 » Mental Models of Computer Security |
148
Voted
EUROCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
144
Voted
ACSC
2007
IEEE
15 years 8 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
122
Voted
ASM
2008
ASM
15 years 6 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
163
click to vote
EUROCRYPT
2011
Springer
14 years 7 months ago
2011
Springer
We define the BQS-UC model, a variant of the UC model, that deals with protocols in the bounded quantum storage model. We present a statistically secure commitment protocol in th...
167
click to vote
ICSAP
2010
15 years 1 months ago
2010
Security being the major concern during data transfers, we have various challenges to face. The requirements of the security model vary depending on the type of data to be encrypte...