03833nam 2200745Ia 450 991078414390332120220323212423.066105051011-280-50510-997866105051041-4237-9742-61-60750-147-3600-00-0603-91-60129-127-2(CKB)1000000000340203(EBL)265966(OCoLC)191037906(SSID)ssj0000267096(PQKBManifestationID)11226127(PQKBTitleCode)TC0000267096(PQKBWorkID)10332835(PQKB)11071143(MiAaPQ)EBC265966(Au-PeEL)EBL265966(CaPaEBR)ebr10130654(CaONFJC)MIL50510(OCoLC)71251545(EXLCZ)99100000000034020320060407d2006 uy 0engur|n|---|||||txtccrVerification of infinite-state systems with applications to security[electronic resource] /edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu ŢipleaAmsterdam ;Washington, D.C. IOS Pressc20061 online resource (244 p.)NATO security through science series. D, Information and communication security ;vol. 1Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.1-58603-570-3 Includes bibliographical references and author index.Title page; Preface; Committees; Contents; Number-Set Representations for Infinite-State Verification; Regular Model Checking for Programs with Dynamic Memory; Automatic Verification of Security Properties Based on Abstractions; Grand Challenge: Model Check Software; A Class of Automata for Computing Reachability Relations in Timed Systems; Practical Infinite-State Verification with Temporal Reasoning; Quantum States and Quantum Measurements; Automatic Test Generation and Monitoring of Infinite States Systems; Cryptographic Primitives Can Be FragileFrom Temporal Logic Queries to Vacuity DetectionProbability and Time in Measuring Security; Decidability and Complexity Results for Security Protocols; Dealing with Communication for Dynamic Multithreaded Recursive Programs; Scenario Graphs Applied to Security (Extended Abstract); Author IndexProvides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.NATO security through science series.D,Information and communication security ;v. 1.System theoryMathematical modelsCongressesSystem theorySecurity measuresCongressesComputer securityCongressesComputer softwareVerificationCongressesSystem theoryMathematical modelsSystem theorySecurity measuresComputer securityComputer softwareVerification005.8Clarke Edmund M.Jr.(Edmund Melson),1945-2020.67498Minea Marius1514192Ţiplea Ferucio Laurenţiu1514193NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security(2005 March 17-22 :Timaşoara, Romania)MiAaPQMiAaPQMiAaPQBOOK9910784143903321Verification of infinite-state systems with applications to security3749154UNINA