1818 search results - page 324 / 364 » Granularity-Adaptive Proof Presentation |
CSFW
2008
IEEE
14 years 3 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
FDL
2008
IEEE
14 years 3 months ago
2008
IEEE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
ICALT
2008
IEEE
14 years 3 months ago
2008
IEEE
Nowadays the Internet users are from different ages and groups. Disabled people are a group of the Internet users. Some websites are especially created for these people. One group...
ICDCS
2008
IEEE
14 years 3 months ago
2008
IEEE
Many storage systems rely on replication to increase the availability and durability of data on untrusted storage systems. At present, such storage systems provide no strong evide...
SADFE
2008
IEEE
14 years 3 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...