Title: Verification of infinite-state systems with applications to security
Subjects: Congresses, Verification, Computer security, Mathematical models, Computer software, Security measures, System theory