Towards a practical secure concurrent language.

Stefan K. Muller Stephen Chong

Published in: OOPSLA (2012)

Keyphrases

natural language
lightweight
real world
programming language
language learning
database
neural network
case study
security requirements
security analysis
authentication protocol
concurrent programs