Sciweavers

3555 search results - page 1 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
APSEC
2003
IEEE
14 years 4 months ago
Security-Critical System Development with Extended Use Cases
Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth...
SEC
2001
14 years 6 days ago
Extended Description Techniques for Security Engineering
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...
Guido Wimmel, Alexander K. Wißpeintner
I3E
2001
196views Business» more  I3E 2001»
14 years 7 days ago
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
: 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...
Jan Jürjens, Guido Wimmel
UML
2005
Springer
14 years 4 months ago
Extending the Boundaries of Model-Based Development to Account for Errors
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
Sandra Basnyat, Rémi Bastide, Philippe A. P...
SIGSOFT
2002
ACM
14 years 11 months ago
Secure systems development based on the common criteria: the PalME project
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
Monika Vetterling, Guido Wimmel, Alexander K. Wi&s...