631 search results - page 44 / 127 » Strong Authentication and Strong Integrity (SASI) Is Not Tha... |
100
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We describe SAFIUS, a secure accountable file system that resides over an untrusted storage. SAFIUS provides strong security guarantees like confidentiality, integrity, prevention ...
109
Voted
JCP
2008
15 years 1 months ago
2008
A huge application domain, in particular, wireless and handheld devices strongly requires flexible and powerefficient hardware with high performance. This can only be achieved with...
141
click to vote
TISSEC
2010
14 years 8 months ago
2010
Several credential systems have been proposed in which users can authenticate to service providers anonymously. Since anonymity can give users the license to misbehave, some varia...
ADBIS
2007
Springer
15 years 7 months ago
2007
Springer
The Message Transformation Model (MTM), for modeling complex message transformation processes in data centric application scenarios, provides strong capabilities for describing the...
107
click to vote
CSL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...