1833 search results - page 24 / 367 » Mechanized Verification with Sharing |
COST
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
BTW
2009
Springer
14 years 2 months ago
2009
Springer
: The integrity of B-tree structures can become compromised for many reasons. Since these inconsistencies manifest themselves in unpredictable ways, all commercial database managem...
CTRSA
2008
Springer
14 years 21 days ago
2008
Springer
We develop new algorithmic and cryptographic techniques for authenticating the results of queries over databases that are outsourced to an untrusted responder. We depart from previ...
WAIM
2010
Springer
13 years 9 months ago
2010
Springer
We used to treating information received (from recognized sources) as trustworthy, which is unfortunately not true because of attacks. The situation can get worse with the emerging...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
Traditional centralised approaches to security are difficult to apply to large, distributed marketplaces in which software agents operate. Developing a notion of trust that is ba...