Communicating sequential processes
Communicating sequential processes
An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Securing Java: getting down to business with mobile code
Securing Java: getting down to business with mobile code
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Scalable propagation-based call graph construction algorithms
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Building secure software: how to avoid security problems the right way
Building secure software: how to avoid security problems the right way
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Writing Secure Code
A service architecture for mobile teamwork
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
The UNIX Programming Environment
The UNIX Programming Environment
Building Software Securely from the Ground Up
IEEE Software
Visual Requirements Validation: Case Study in a Corba-Supported Environment
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
A Web-Based Peer-to-Peer Architecture for Collaborative Nomadic Working
WETICE '01 Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
User Authentication and Authorization in the Java(tm) Platform
ACSAC '99 Proceedings of the 15th Annual Computer Security Applications Conference
Sound methods and effective tools for model-based security engineering with UML
Proceedings of the 27th international conference on Software engineering
Architectural support for trust models in decentralized applications
Proceedings of the 28th international conference on Software engineering
| Hi-index | 0.00 |
Many claim that software systems must be designed for security. This, however, is far from being an easy task, especially for complex systems. We believe that this difficulty can be alleviated by a set of --preferably rigorous-- principles. We propose an architectural style, the Dual Protection Style (DPS), for constructing secure software. This style results from our experience in designing and implementing a distributed, multi-user, medium sized application. We present the applicability and effectiveness of our DPS style on the basis of a case study of a distributed software platform for virtual and mobile team collaboration called MOTION. We further elaborate on the description of this architectural style, its formalization and the formal verification of some of its properties.