Loading...
Please wait, while we are loading the content...
Sound development of secure service-based systems (2004)
| Content Provider | CiteSeerX |
|---|---|
| Author | Jürjens, Jan Grünbauer, Johannes Deubler, Martin Wimmel, Guido |
| Description | Proceedings of the 2nd international conference on Service oriented computing |
| Abstract | Service-based software systems are a useful concept recently developed to support the development of systems offering functions (the so-called services) which may be interrelated or may mutually depend on each other. Although appealing from a practical point of view, the development of service-based software for security-critical systems is, unfortunately, not well understood. Services may easily interact with each other in a way which may have unforeseen consequences on the various security properties provided. In this work, we propose a method for facilitating the development of security-critical service-based software systems using the computer-aided systems engineering tool AutoFocus based on the formal method Focus. We explain our method at the example of a service-based system from the automotive domain. |
| File Format | |
| Publisher Date | 2004-01-01 |
| Access Restriction | Open |
| Subject Keyword | Sound Development Various Security Property Practical Point Useful Concept Secure Service-based System Service-based Software System Formal Method Focus Service-based Software Unforeseen Consequence So-called Service Security-critical System Computer-aided System Engineering Tool Autofocus Automotive Domain Service-based System Security-critical Service-based Software System |
| Content Type | Text |
| Resource Type | Proceeding Conference Proceedings |
