Verification of infinite-state systems with applications to security /

Mostrar otras versiones (1)

Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania
Otros Autores: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, D.C. : IOS Press, ©2006.
Colección:NATO security through science series. Information and communication security ; vol. 1.
Temas:
System theory > Mathematical models > Congresses.
System theory > Security measures > Congresses.
Computer security > Congresses.
Computer software > Verification > Congresses.
Théorie des systèmes > Modèles mathématiques > Congrès.
Théorie des systèmes > Sécurité > Mesures > Congrès.
Sécurité informatique > Congrès.
Logiciels > Vérification > Congrès.
COMPUTERS > Internet > Security.
COMPUTERS > Networking > Security.
COMPUTERS > Security > General.
Computer security
Computer software > Verification
System theory > Mathematical models
Infinite-state systems
Security
VISSAS
Conference papers and proceedings
Acceso en línea:Texto completo
Descripción
Sumario:Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.
Notas:Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
Descripción Física:1 online resource (vii, 235 pages) : illustrations.
Bibliografía:Includes bibliographical references and author index.
ISBN:1423797426
9781423797425
1601291272
9781601291271
9781607501473
1607501473

Ejemplares similares