44 search results - page 5 / 9 » On the Generic Construction of Identity-Based Signatures wit... |
AOSD
2008
ACM
13 years 9 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
SISW
2005
IEEE
14 years 1 months ago
2005
IEEE
A crucial element of distributed cryptographic file systems are key management solutions that allow for flexible but secure data sharing. We consider efficient key management s...
ENTCS
2008
13 years 7 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
IJSM
2002
13 years 7 months ago
2002
This work considers the problem of metamorphosis interpolation between two freeform planar curves. Given two planar parametric curves, the curvature signature of the two curves is...
ITIIS
2010
13 years 2 months ago
2010
Anonymous hierarchical identity based encryption (HIBE) is an extension of identity based encryption (IBE) that can use an arbitrary string like an e-mail address for a public key...