3299 search results - page 324 / 660 » Privacy and Trusted Computing |
211
click to vote
IFIP
2010
Springer
15 years 2 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...
201
click to vote
ACSAC
2003
IEEE
16 years 22 days ago
2003
IEEE
This paper provides a retrospective view of the design of SRI’s Provably Secure Operating System (PSOS), a formally specified tagged-capability hierarchical system architecture...
175
click to vote
ESORICS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract We present a computational analysis of basic Kerberos with and without its public-key extension PKINIT in which we consider authentication and key secrecy properties. Our ...
226
click to vote
MOC
2010
15 years 2 months ago
2010
Numerical schemes to compute approximate solutions of the evolutionary Stokes and Navier-Stokes equations are studied. The schemes are discontinuous in time and conforming in space...
184
click to vote
MOC
2010
15 years 2 months ago
2010
In this paper we consider a class of regularized Gauss-Newton methods for solving nonlinear inverse problems for which an a posteriori stopping rule is proposed to terminate the it...