754 search results - page 63 / 151 » Generation of Signatures by Deformations |
FAC
2007
13 years 8 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
ICS
2010
Tsinghua U.
14 years 6 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
AP2PS
2009
IEEE
14 years 3 months ago
2009
IEEE
—Peer-to-peer file sharing applications became very popular, being responsible for a large percentage of the network traffic. However, peer-to-peer traffic may compromise the per...
IH
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. One way to protect a digital product is to embed an author's signature into the object in the form of minute errors. However, this technique cannot be directly appli...
MOBICOM
2010
ACM
13 years 9 months ago
2010
ACM
WiFi networks have enjoyed an unprecedent penetration rate in recent years. However, due to the limited coverage, existing WiFi infrastructure only provides intermittent connectiv...