32032 search results - page 136 / 6407 » Verified programming in Guru |
132
click to vote
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
Architecture modeling is practiced extensively in the software industry but there is little attention paid to the traceability, verifiability and completeness of architecture desi...
128
click to vote
CRYPTO
2001
Springer
15 years 9 months ago
2001
Springer
We propose the first forward-secure signature scheme for which both signing and verifying are as efficient as for one of the most efficient ordinary signature schemes (Guillou-Qui...
111
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
123
click to vote
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
125
Voted
EVOTING
2004
15 years 6 months ago
2004
: When developing a catalogue of technical requirements for online voting systems to be used in legally ruled, non-parliamentary elections, major interdisciplinary problems arise w...