Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Dec 23, 2015
"Towards Reasoning in the presence of code of unknown provenance - or, trust and risk in an open world”
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 as 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.
Bio: James Noble is Professor of Computer Science and Software Engineering at Victoria University of Wellington, New Zealand. His research centres around software design. This includes the design of the users' interface, the parts of software that users have to deal with everyday, and the programmers' interface, the internal structures and organisations of software that programmers see only when they are designing, building, or modifying software. His research in both of these areas is coloured by my longstanding interest in object oriented approaches to design, and topics he has studies range from aliasing and object ownership, design patterns, agile methodology, via usability, visualisation and computer music, to postmodernism and the semiotics of programming.