70
Voted
CSFW
2010
IEEE
15 years 23 days 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...