Search
Results
-
Attack and revision of an electronic auction protocol using OFMC
(2011)Technical Report / ETH Zurich, Department of Computer ScienceReport -
-
Reverse query processing
(2011)Technical Report / ETH Zurich, Department of Computer ScienceReport -
Using the generalised substitution language for event-B semantics
(2010)Technical Report / ETH Zurich, Department of Computer ScienceReport -
-
Mediating tensions over Islam in Denmark, Holland, and Switzerland
(2010)Over the last few years, tensions have arisen over the cultural, religious, and physical “space” of Islam in Europe. This article explores how governments deal with such debates by examining the “Face of Mohammed” cartoon crisis in Denmark, the “Fitna” film in Holland, and the ban on minaret construction in Switzerland. The analysis shows how the tensions tend to decrease when governments create opportunities for actors to discuss their ...Report -
Factsheet
(2010)CRN ReportsThe impact of disasters understood as extreme events that cause great damage, destruction, and human suffering is not the same on all people. Disaster losses are only at first sight the result of the respective events. At second sight, they are reflections of human vulnerabilities that arise from physical, social, economic, and political conditions and inequalities that have little to do with the event itself. The concept of social ...Report -
Integrated Specification and Verification of Security Protocols and Policies
(2010)Technical Report / ETH Zurich, Department of Computer ScienceWe propose a language for formal specification of serviceoriented architectures. The language supports the integrated specification of communication level events, policy level decisions, and the interaction between the two. We show that the reachability problem is decidable for a fragment of service-oriented architectures. The decidable fragment is well suited for specifying, and reasoning about, securitysensitive architectures. In the ...Report