72 search results - page 2 / 15 » A Software Process for an Integrated Electronic Commerce Por... |
I3E
2001
13 years 9 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...
CACM
1999
13 years 7 months ago
1999
Software agents have become very popular in the last six or so years. They have been used successfully to filter information, match people with similar interests and automate repe...
WER
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...
AMAST
2000
Springer
13 years 12 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
ECIS
2003
13 years 9 months ago
2003
For extended enterprises, value-chain integration means that enterprise business systems can no longer be confined to internal processes, applications, and data repositories. What...