3299 search results - page 443 / 660 » Privacy and Trusted Computing |
159
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
180
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a Write-Once Read-Many (WORM) storage system providing strong assurances of data retention and compliant migration, by leveraging trusted secure hardware in close dat...
154
click to vote
ICDCS
2007
IEEE
16 years 27 days ago
2007
IEEE
An electronic cash system allows users to withdraw coins, represented as bit strings, from a bank or broker, and spend those coins anonymously at participating merchants, so that ...
165
click to vote
ICPADS
2007
IEEE
16 years 27 days ago
2007
IEEE
Many service providers distribute various kinds of content over the Internet. They often use replica servers to provide stable service. To position them appropriately, service pro...
170
click to vote
ECUMN
2007
Springer
16 years 23 days ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...