Formal Specification and Analysis of an E-voting System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita. Formal Specification and Analysis of an E-voting System. In ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland. pages 164-171, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Komminist Weldemariam' in GoogleThis author has not been identified. Look up 'Richard A. Kemmerer' in GoogleThis author has not been identified. Look up 'Adolfo Villafiorita' in Google

runs on WebDSL