I3E
2001
14 years 27 days 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
14 years 27 days 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
14 years 27 days 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...