DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(Static AND Validation AND of AND a AND Voting AND Protocol)
Suggestions: Include records that partially match the query
Static Validation of a Voting Protocol 10.1016/j.entcs.2005.06.001
Year: 2005
Language: English
Static Validation of a Voting Protocol
Automated Reasoning for Security Protocol Analysis (arspa 2005) — 2005, pp. 115-134
Year: 2005
Language: English
Static validation of voting protocols
Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU — 2005
Year: 2005
Language: Undetermined
Static Validation of Voting Protocols
Nordic Workshop on Programming Theory — 2005
Year: 2005
Language: English