Secure Channels in CSO
|
Supervisor |
|
|
Suitable for |
Abstract
CSO [1] is a concurrency and communication library for the Scala programming language. The aim of this project would be to extend CSO with channels that allow secure communication between processes. The channels should implement some of the specifications in [2]. The Concurrent Programming and Computer Security courses would be prerequisites.
References:
- [1] Communicating Scala Objects, Bernard Sufrin. In Communicating Process Architectures, 2008. http://users.comlab.ox.ac.uk/bernard.sufrin/CSO/cpa2008-cso.pdf.
- [2] Specifying Secure Transport Layers, Christopher Dilloway, Gavin Lowe. In 21st IEEE Computer Security Foundations Symposium (CSF 21) 2008. http://web.comlab.ox.ac.uk//files/116/channels.pdf.