Sciweavers

1213 search results - page 55 / 243
» Traceability for System Families
Sort
View
CTRSA
2005
Springer
221views Cryptology» more  CTRSA 2005»
15 years 5 months ago
Accumulators from Bilinear Pairings and Applications
We propose a dynamic accumulator scheme from bilinear pairings, whose security is based on the Strong Diffie-Hellman assumption. We show applications of this accumulator in constru...
Lan Nguyen
IWPC
2000
IEEE
15 years 4 months ago
Tracing Object-Oriented Code into Functional Requirements
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
Giuliano Antoniol, Gerardo Canfora, Andrea De Luci...
ASIACRYPT
2004
Springer
15 years 3 months ago
Efficient and Provably Secure Trapdoor-Free Group Signature Schemes from Bilinear Pairings
Group signature schemes are cryptographic systems that provide revocable anonymity for signers. We propose a group signature scheme with constant-size public key and signature leng...
Lan Nguyen, Reihaneh Safavi-Naini
ICSE
2010
IEEE-ACM
15 years 1 months ago
Linking e-mails and source code artifacts
E-mails concerning the development issues of a system constitute an important source of information about high-level design decisions, low-level implementation concerns, and the s...
Alberto Bacchelli, Michele Lanza, Romain Robbes
MIE
2008
117views Healthcare» more  MIE 2008»
15 years 1 months ago
An electronic registry for physiotherapists in Belgium
This paper describes the results of the KINELECTRICS project. Since more and more clinical documents are stored and transmitted in an electronic way, the aim of this project was to...
Ronald Buyl, Marc Nyssen