Mart\'ın Abadi & Cédric Fournet (2001):
Mobile values, new names, and secure communication.
In: POPL,
pp. 104–115,
doi:10.1145/360204.360213.
Nuno Alves (2009):
A Secure Session-Based Distributed Programming Language.
Imperial College London - MSc Thesis.
http://www.doc.ic.ac.uk/teaching/distinguished-projects/2010/n.alves.pdf.
Andi Bejleri, Raymond Hu & Nobuko Yoshida:
Session-based Programming for Parallel Algorithms.
Proceedings of the ETAPS workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software PLACES'09,
doi:10.4204/EPTCS.17.2.
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet & James J. Leifer (2009):
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions.
In: CSF,
pp. 124–140,
doi:10.1109/CSF.2009.26.
Web Services Choreography Requirements.
http://www.w3.org/TR/ws-chor-reqs/.
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan & James J. Leifer (2007):
Secure Implementations for Typed Session Abstractions.
In: CSF,
pp. 170–186,
doi:10.1109/CSF.2007.29.
D. Taylor, T. Wu, N. Mavrogiannopoulos, and T. Perrin (2007):
Using the Secure Remote Password (SRP) Protocol for TLS Authentication.
RFC 5054.
Available at http://tools.ietf.org/html/rfc5054.
Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: ESOP '98: Proceedings of the 7th European Symposium on Programming.
Springer-Verlag,
doi:10.1016/j.entcs.2007.02.056.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty asynchronous session types.
In: POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
ACM,
New York, NY, USA,
pp. 273–284,
doi:10.1145/1328438.1328472.
Raymond Hu, Nobuko Yoshida & Kohei Honda (2008):
Session-Based Distributed Programming in Java.
In: ECOOP '08: Proceedings of the 22nd European conference on Object-Oriented Programming,
pp. 516–541,
doi:10.1007/978-3-540-70592-5_22.
Dimitris Mostrous & Nobuko Yoshida (2009):
Session-Based Communication Optimisation for Higher-Order Mobile Processes.
In: TLCA '09.
Springer,
pp. 203–218,
doi:10.1007/978-3-642-02273-9_16.
Thomas Wu (1998):
The secure remote password protocol.
In: Proceedings of the 1998 Internet Society Network and Distributed System Security Symposium,
pp. 97–111.
Available at http://www.isoc.org/isoc/conferences/ndss/98/wu.pdf.
eptcs@eptcs.org