4609 search results - page 483 / 922 » Automatic Generation of Sigma-Protocols |
165
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
AJAX-based web applications are enabling the next generation of rich, client-side web applications, but today's web application developers do not have the end-to-end visibili...
210
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
198
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
192
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
183
click to vote
AIIDE
2007
15 years 9 months ago
2007
In recent years, the fields of Interactive Storytelling and Player Modelling have independently enjoyed increased interest in both academia and the computer games industry. The c...