IEEEIAS
2008
IEEE
13 years 11 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...