19003 search results - page 93 / 3801 » We Need Assurance! |
143
click to vote
CSR
2006
Springer
15 years 9 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...
146
click to vote
ELPUB
2006
ACM
16 years 4 days ago
2006
ACM
This paper describes the automated process to create structured master and access copies for the digitised works at the BND – National Digital Library. The BND created during 20...
182
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
Database outsourcing is a popular industry trend which involves organizations delegating their data management needs to an external service provider. In this model, a service prov...
180
click to vote
JNW
2008
15 years 6 months ago
2008
With the increasing dependence on wireless LANs (WLANs), businesses, educational institutions and other organizations are in need of a reliable security mechanism. The latest secur...
160
click to vote
IDTRUST
2009
ACM
16 years 29 days ago
2009
ACM
In this paper, we describe the challenges in using Personal Identity Verification (PIV) cards and PIV-like cards as federated identities to authenticate to US Federal government f...