196 search results - page 40 / 40 » Formally Analysing a Security Protocol for Replay Attacks |
ECOOP
2010
Springer
13 years 10 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...