206 search results - page 32 / 42 » Formal Specification and Analysis of an E-voting System |
111
click to vote
DMDW
2003
14 years 10 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
OTM
2005
Springer
15 years 2 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
127
click to vote
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
BCS
2008
14 years 11 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...