Cover Image

Verification of infinite-state systems with applications to security /

Corporate Author: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania)
Other Authors: Minea, Marius.
Format: Book
Language:English
Published: Amsterdam ; Washington, D.C. : IOS Press, ©2006.
Series:NATO security through science series. D : Information and communication security ; vol. 1
Subjects:
System theory > Mathematical models
System theory > Security measures
Computer security
Computer software > Verification
System theory > Mathematical models.
System theory > Security measures.
Computer security.
Computer software > Verification.
COMPUTERS > Internet > Security.
COMPUTERS > Networking > Security.
COMPUTERS > Security
Online Access:http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059

Similar Items

Similar Items