116
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...