Contemporary open systems use components developed by many different parties, linked together dynamically in unforeseen constellations. Code needs to live up to strict security specifications: it has to ensure the correct functioning of its objects when they collaborate with external objects which may be malicious. In this talk we'll propose specifications that model risk and trust in such open systems. We specify Miller, Van Cutsem, and Tulloh’s escrow exchange example, and discuss the meaning of such a specification. We argue informally that the code satisfies its specification.
James Noble is Professor of Computer Science and Software Engineering at Victoria University New Zealand. He is the author of Small Memory Systems: Patterns for Systems with Limited Memory (with Charles Weir), the editor of Prototype-Based Programming and Pattern Languages of Program Design 5 (with various co-editors). He has published many papers on object-orientation design patterns, aspects, software visualisation and software engineering in international academic conferences and journals.
Last modified:
This page is maintained by the seminar list administrator.