Enhancing Safety and Security of Distributed Systems Through Formal Patterns

Download Now
Provided by: University of Auckland Business School
Topic: Security
Format: PDF
Distributed systems are often safety- and security-critical systems and have strong qualitative and quantitative formal requirements, equally important time-critical performance-based quality of service properties, and need to dynamically adapt to changes in a potentially hostile and often probabilistic environment. These aspects make distributed systems complex and hard to design, build, test, and verify. To tackle this paper, the authors propose a formal pattern-based approach and framework for the design of correct, secure, and safe-by-construction distributed systems.
Download Now

Find By Topic