963 search results - page 38 / 193 » Conditional Digital Signatures |
ACL
2001
13 years 10 months ago
2001
This paper considers three assumptions conventionally made about signatures in typed feature logic that are in potential disagreement with current practice among grammar developer...
CPP
2011
12 years 8 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
The world-wide growth of the mobile-telephony market opens the door for mobile commerce (m-commerce). For the restricted target platforms used for m-commerce such as mobile phones...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
In this paper a new method for on-line signature authentication will be presented, which is based on a event-string modelling of features derived from pen-position and pressure si...
ICWS
2009
IEEE
14 years 5 months ago
2009
IEEE
In recent research it turned out that Boolean verification of digital signatures in the context of WSSecurity is likely to fail: If parts of a SOAP message are signed and the sig...