556 search results - page 37 / 112 » Generic Properties of Datatypes |
ACNS
2008
Springer
14 years 1 months ago
2008
Springer
Regular cash systems provide both the anonymity of users and the transferability of coins. In this paper, we study the anonymity properties of transferable e-cash. We define two n...
JAIR
2006
13 years 7 months ago
2006
In this paper, we show that there is a close relation between consistency in a constraint network and set intersection. A proof schema is provided as a generic way to obtain consi...
FSE
2003
Springer
14 years 24 days ago
2003
Springer
In this paper we study structural properties of SPN ciphers in which both the S-boxes and the affine layers are involutions. We apply our observations to the recently designed Rijn...
MOBIQUITOUS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a framework prototype for sentient environments. The framework provides a generic interface to the applications for interacting with sentient artefacts in a un...
ICALP
2004
Springer
14 years 29 days ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...