556 search results - page 39 / 112 » Generic Properties of Datatypes |
ACNS
2007
Springer
14 years 4 months ago
2007
Springer
In 1990, Boyar, Chaum, Damg˚ard and Pedersen introduced convertible undeniable signatures which limit the self-authenticating property of digital signatures but can be converted b...
SOCO
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...
ISADS
1999
IEEE
14 years 2 months ago
1999
IEEE
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and diversity of cooperative work. This article investigates the use of software com...
FOSSACS
2006
Springer
14 years 1 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
ISW
2000
Springer
14 years 1 months ago
2000
Springer
We propose a simple classification method for public-key based authentication protocols, which consists of identifying several basic properties leading to a large number of generic...