I3E
2001
13 years 6 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
I3E
2001
13 years 6 months ago
2001
: Most online shops today organise their product catalogue in a feature-oriented way. This can cause problems for shoppers who have only limited knowledge of product features. An a...
I3E
2001
13 years 6 months ago
2001
: For an electronic election to be fully democratic there is a need for security mechanisms that will assure the privacy of the voters. With receipt-free electronic voting, a voter...