.:. Browse > By authors > Talbi .:.

3 documents ordered by : Date Title first author name document type Submit date

Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-based Voting Protocols Talbi M., Viet Triem Tong V., Bouhoula A. In International Conference on Availability, Reliability and Security (2009) - [hal-00349878 - version 1]

Specification of Electronic Voting Protocol Properties Using ADM Logic : FOO Case Study Talbi M., Morin B., Viet Triem Tong V., Bouhoula A., Mejri M. In ICICS 08 (2008) - [hal-00349880 - version 1]

Spécification Formelle des propriétés des Protocoles de Vote au moyen de la Logique ADM Talbi M., Morin B., Viet Triem Tong V., Bouhoula A., Mejri M. In Conférence sur la sécurité des Architectures Réseaux et des Systèmes d'Information (2008) - [hal-00349883 - version 1]