Cargando…
Verification of infinite-state systems with applications to security /
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| 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: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocm71251545 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 060905s2006 ne a ob 101 0 eng d | ||
| 010 | |a 2005937272 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d HVC |d YDXCP |d SFB |d CAI |d WPG |d IOSPR |d IDEBK |d OCLCE |d E7B |d OCLCQ |d MHW |d TUU |d OCLCQ |d MCR |d DKDLA |d FVL |d OCLCQ |d OCLCO |d DEBSZ |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d EBLCP |d OCLCO |d OCLCQ |d OCLCO |d AZK |d MOR |d PIFBR |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d WY@ |d OCLCA |d LUE |d OCLCF |d STF |d WRM |d VTS |d ICG |d VT2 |d OCLCQ |d WYU |d DKC |d BNG |d OCLCQ |d UKCRE |d OCLCA |d NRAMU |d CRU |d EZ9 |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ |d OCLCL | ||
| 015 | |a GBA647473 |2 bnb | ||
| 016 | 7 | |a 013467698 |2 Uk | |
| 019 | |a 191037906 |a 243613663 |a 276799357 |a 473704868 |a 488644723 |a 491253452 |a 607734058 |a 609301881 |a 613357324 |a 722472606 |a 728016947 |a 961511713 |a 962709363 |a 988501191 |a 992060915 |a 1037713637 |a 1038681167 |a 1045524695 |a 1055404825 |a 1066549417 |a 1081234271 |a 1153551999 |a 1228567727 |a 1249216805 | ||
| 020 | |a 1423797426 |q (electronic bk.) | ||
| 020 | |a 9781423797425 |q (electronic bk.) | ||
| 020 | |a 1601291272 | ||
| 020 | |a 9781601291271 | ||
| 020 | |a 9781607501473 | ||
| 020 | |a 1607501473 | ||
| 020 | |z 1586035703 |q (cloth) | ||
| 020 | |z 9781586035709 | ||
| 029 | 1 | |a AU@ |b 000046686654 | |
| 029 | 1 | |a AU@ |b 000051420652 | |
| 029 | 1 | |a AU@ |b 000060051209 | |
| 029 | 1 | |a CHBIS |b 005889425 | |
| 029 | 1 | |a CHBIS |b 009866690 | |
| 029 | 1 | |a CHVBK |b 198086350 | |
| 029 | 1 | |a CHVBK |b 199099731 | |
| 029 | 1 | |a DEBBG |b BV043100011 | |
| 029 | 1 | |a DEBBG |b BV044083683 | |
| 029 | 1 | |a DEBSZ |b 396089941 | |
| 029 | 1 | |a DEBSZ |b 422265683 | |
| 029 | 1 | |a DEBSZ |b 430344171 | |
| 029 | 1 | |a DEBSZ |b 45642041X | |
| 029 | 1 | |a GBVCP |b 802166695 | |
| 029 | 1 | |a NZ1 |b 12438009 | |
| 035 | |a (OCoLC)71251545 |z (OCoLC)191037906 |z (OCoLC)243613663 |z (OCoLC)276799357 |z (OCoLC)473704868 |z (OCoLC)488644723 |z (OCoLC)491253452 |z (OCoLC)607734058 |z (OCoLC)609301881 |z (OCoLC)613357324 |z (OCoLC)722472606 |z (OCoLC)728016947 |z (OCoLC)961511713 |z (OCoLC)962709363 |z (OCoLC)988501191 |z (OCoLC)992060915 |z (OCoLC)1037713637 |z (OCoLC)1038681167 |z (OCoLC)1045524695 |z (OCoLC)1055404825 |z (OCoLC)1066549417 |z (OCoLC)1081234271 |z (OCoLC)1153551999 |z (OCoLC)1228567727 |z (OCoLC)1249216805 | ||
| 037 | |a 978-1-58603-570-9 |b IOS Press |n http://www.iospress.nl | ||
| 042 | |a dlr | ||
| 050 | 4 | |a Q295 |b .N38 2005eb | |
| 072 | 7 | |a COM |x COM014000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.8 |2 22 |
| 049 | |a UAMI | ||
| 111 | 2 | |a NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security |d (2005 : |c Timișoara, Romania) | |
| 245 | 1 | 0 | |a Verification of infinite-state systems with applications to security / |c edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. |
| 260 | |a Amsterdam ; |a Washington, D.C. : |b IOS Press, |c ©2006. | ||
| 300 | |a 1 online resource (vii, 235 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file |2 rda | ||
| 490 | 1 | |a NATO security through science series. D : Information and communication security ; |v vol. 1 | |
| 500 | |a Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005. | ||
| 504 | |a Includes bibliographical references and author index. | ||
| 505 | 0 | |a 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 Fragile. | |
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [S.l.] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a System theory |x Mathematical models |v Congresses. | |
| 650 | 0 | |a System theory |x Security measures |v Congresses. | |
| 650 | 0 | |a Computer security |v Congresses. | |
| 650 | 0 | |a Computer software |x Verification |v Congresses. | |
| 650 | 6 | |a Théorie des systèmes |x Modèles mathématiques |v Congrès. | |
| 650 | 6 | |a Théorie des systèmes |x Sécurité |x Mesures |v Congrès. | |
| 650 | 6 | |a Sécurité informatique |v Congrès. | |
| 650 | 6 | |a Logiciels |x Vérification |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Internet |x Security. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Networking |x Security. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Security |x General. |2 bisacsh | |
| 650 | 7 | |a Computer security |2 fast | |
| 650 | 7 | |a Computer software |x Verification |2 fast | |
| 650 | 7 | |a System theory |x Mathematical models |2 fast | |
| 653 | 1 | |a Infinite-state systems | |
| 653 | 1 | |a Security | |
| 653 | 1 | |a VISSAS | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Clarke, Edmund M., |c Jr. |q (Edmund Melson), |d 1945-2020. |1 https://id.oclc.org/worldcat/entity/E39PBJxxh8wG8XjkGM3R3CDQbd | |
| 700 | 1 | |a Minea, Marius. | |
| 700 | 1 | |a Ţiplea, Ferucio Laurenţiu. | |
| 758 | |i has work: |a Verification of infinite-state systems with applications to security (Text) |1 https://id.oclc.org/worldcat/entity/E39PCH7wBRTCcTw8dWqXfWv8Yd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 Mar. 17-22 : Timaşoara, Romania). |t Verification of infinite-state systems with applications to security. |d Amsterdam ; Washington, D.C. : IOS Press, ©2006 |z 1586035703 |w (DLC) 2005937272 |w (OCoLC)65661588 |
| 830 | 0 | |a NATO security through science series. |n D, |p Information and communication security ; |v vol. 1. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=265966 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL265966 | ||
| 938 | |a ebrary |b EBRY |n ebr10130654 | ||
| 938 | |a EBSCOhost |b EBSC |n 164059 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 50510 | ||
| 938 | |a YBP Library Services |b YANK |n 3207164 | ||
| 938 | |a YBP Library Services |b YANK |n 2468034 | ||
| 938 | |a YBP Library Services |b YANK |n 2628204 | ||
| 994 | |a 92 |b IZTAP | ||