Language-based Security

For the one who wants to begin studying language-based security, this paper, written by is the best:
"A Language-Base Approach to Security"
It is a comprehensive introduction to the field and explains the main idea.