1129 search results - page 161 / 226 » Formal Verification of Websites |
106
click to vote
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
127
click to vote
JCDL
2005
ACM
15 years 7 months ago
2005
ACM
The Exploratorium, an interactive hand-on science museum, is developing an online collection of science learning and teaching resources to better serve educators’ needs for peda...
125
click to vote
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
We propose a distributed mechanism for finding websurfing strategies that is inspired by the StumbleUpon recommendation engine. Each day, a websurfer visits a sequence of websites ...
150
click to vote
ESORICS
2011
Springer
14 years 1 months ago
2011
Springer
A common client-side countermeasure against Cross Site Request Forgery (CSRF) is to strip session and authentication information from malicious requests. The difficulty however is ...
143
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...