Description: 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

Item Description:	Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
Physical Description:	1 online resource (vii, 235 pages) : illustrations.
Bibliography:	Includes bibliographical references and author index.
ISBN:	1423797426 9781423797425 1601291272 9781601291271 9781607501473 1607501473