Algorithmic Verification of Population Protocols.

Ioannis Chatzigiannakis Othon Michail Paul G. Spirakis

Published in: SSS (2010)

Keyphrases

cryptographic protocols
model checking
database
population size
real time
mutation operator
face verification
search engine
formal analysis
security protocols
signature verification
person identification
high security
population dynamics
verification method
concurrent systems