JavaScript.
Security?
All You Ever Wanted To Know About JavaScript (But Never Dared To Ask)
Under Construction
For a start, a formal semantics
here
.