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.
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Washington, D.C. :
IOS Press,
©2006.
|
| Schriftenreihe: | NATO security through science series. Information and communication security ;
vol. 1. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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. |
| Beschreibung: | Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005. |
| Beschreibung: | 1 online resource (vii, 235 pages) : illustrations. |
| Format: | 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. |
| Bibliographie: | Includes bibliographical references and author index. |
| ISBN: | 1423797426 9781423797425 1601291272 9781601291271 9781607501473 1607501473 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocm71251545 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.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 | ||
| 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 | 7 | |a 005.8 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security |d (2005 : |c Timișoara, Romania) |0 http://id.loc.gov/authorities/names/nb2006011721 | |
| 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 | |
| 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. |0 http://id.loc.gov/authorities/names/no2006064032 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059 |3 Volltext |
| 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 GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocm71251545 |
|---|---|
| _version_ | 1816881641177481216 |
| adam_text | |
| any_adam_object | |
| author2 | Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 Minea, Marius Ţiplea, Ferucio Laurenţiu |
| author2_role | |
| author2_variant | e m c em emc m m mm f l t fl flt |
| author_corporate | NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania |
| author_corporate_role | |
| author_facet | Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 Minea, Marius Ţiplea, Ferucio Laurenţiu NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania |
| author_sort | NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | Q295 |
| callnumber-raw | Q295 .N38 2005eb |
| callnumber-search | Q295 .N38 2005eb |
| callnumber-sort | Q 3295 N38 42005EB |
| callnumber-subject | Q - General Science |
| collection | ZDB-4-EBA |
| contents | 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. |
| ctrlnum | (OCoLC)71251545 |
| dewey-full | 005.8 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.8 |
| dewey-search | 005.8 |
| dewey-sort | 15.8 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06661cam a2200949 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm71251545 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">060905s2006 ne a ob 101 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a"> 2005937272</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">HVC</subfield><subfield code="d">YDXCP</subfield><subfield code="d">SFB</subfield><subfield code="d">CAI</subfield><subfield code="d">WPG</subfield><subfield code="d">IOSPR</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCE</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MHW</subfield><subfield code="d">TUU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MCR</subfield><subfield code="d">DKDLA</subfield><subfield code="d">FVL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AZK</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WY@</subfield><subfield code="d">OCLCA</subfield><subfield code="d">LUE</subfield><subfield code="d">OCLCF</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">DKC</subfield><subfield code="d">BNG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKCRE</subfield><subfield code="d">OCLCA</subfield><subfield code="d">NRAMU</subfield><subfield code="d">CRU</subfield><subfield code="d">EZ9</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA647473</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">013467698</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">191037906</subfield><subfield code="a">243613663</subfield><subfield code="a">276799357</subfield><subfield code="a">473704868</subfield><subfield code="a">488644723</subfield><subfield code="a">491253452</subfield><subfield code="a">607734058</subfield><subfield code="a">609301881</subfield><subfield code="a">613357324</subfield><subfield code="a">722472606</subfield><subfield code="a">728016947</subfield><subfield code="a">961511713</subfield><subfield code="a">962709363</subfield><subfield code="a">988501191</subfield><subfield code="a">992060915</subfield><subfield code="a">1037713637</subfield><subfield code="a">1038681167</subfield><subfield code="a">1045524695</subfield><subfield code="a">1055404825</subfield><subfield code="a">1066549417</subfield><subfield code="a">1081234271</subfield><subfield code="a">1153551999</subfield><subfield code="a">1228567727</subfield><subfield code="a">1249216805</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1423797426</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781423797425</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1601291272</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601291271</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607501473</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607501473</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1586035703</subfield><subfield code="q">(cloth)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781586035709</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)71251545</subfield><subfield code="z">(OCoLC)191037906</subfield><subfield code="z">(OCoLC)243613663</subfield><subfield code="z">(OCoLC)276799357</subfield><subfield code="z">(OCoLC)473704868</subfield><subfield code="z">(OCoLC)488644723</subfield><subfield code="z">(OCoLC)491253452</subfield><subfield code="z">(OCoLC)607734058</subfield><subfield code="z">(OCoLC)609301881</subfield><subfield code="z">(OCoLC)613357324</subfield><subfield code="z">(OCoLC)722472606</subfield><subfield code="z">(OCoLC)728016947</subfield><subfield code="z">(OCoLC)961511713</subfield><subfield code="z">(OCoLC)962709363</subfield><subfield code="z">(OCoLC)988501191</subfield><subfield code="z">(OCoLC)992060915</subfield><subfield code="z">(OCoLC)1037713637</subfield><subfield code="z">(OCoLC)1038681167</subfield><subfield code="z">(OCoLC)1045524695</subfield><subfield code="z">(OCoLC)1055404825</subfield><subfield code="z">(OCoLC)1066549417</subfield><subfield code="z">(OCoLC)1081234271</subfield><subfield code="z">(OCoLC)1153551999</subfield><subfield code="z">(OCoLC)1228567727</subfield><subfield code="z">(OCoLC)1249216805</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">978-1-58603-570-9</subfield><subfield code="b">IOS Press</subfield><subfield code="n">http://www.iospress.nl</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">dlr</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q295</subfield><subfield code="b">.N38 2005eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">COM014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.8</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security</subfield><subfield code="d">(2005 :</subfield><subfield code="c">Timișoara, Romania)</subfield><subfield code="0">http://id.loc.gov/authorities/names/nb2006011721</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification of infinite-state systems with applications to security /</subfield><subfield code="c">edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, D.C. :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">©2006.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (vii, 235 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">NATO security through science series. D : Information and communication security ;</subfield><subfield code="v">vol. 1</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and author index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="3">Use copy</subfield><subfield code="f">Restrictions unspecified</subfield><subfield code="2">star</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction.</subfield><subfield code="b">[S.l.] :</subfield><subfield code="c">HathiTrust Digital Library,</subfield><subfield code="d">2010.</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="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.</subfield><subfield code="u">http://purl.oclc.org/DLF/benchrepro0212</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">digitized</subfield><subfield code="c">2010</subfield><subfield code="h">HathiTrust Digital Library</subfield><subfield code="l">committed to preserve</subfield><subfield code="2">pda</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System theory</subfield><subfield code="x">Mathematical models</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System theory</subfield><subfield code="x">Security measures</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer security</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie des systèmes</subfield><subfield code="x">Modèles mathématiques</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie des systèmes</subfield><subfield code="x">Sécurité</subfield><subfield code="x">Mesures</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Sécurité informatique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logiciels</subfield><subfield code="x">Vérification</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Internet</subfield><subfield code="x">Security.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Networking</subfield><subfield code="x">Security.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Security</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer security</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">System theory</subfield><subfield code="x">Mathematical models</subfield><subfield code="2">fast</subfield></datafield><datafield tag="653" ind1="1" ind2=" "><subfield code="a">Infinite-state systems</subfield></datafield><datafield tag="653" ind1="1" ind2=" "><subfield code="a">Security</subfield></datafield><datafield tag="653" ind1="1" ind2=" "><subfield code="a">VISSAS</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Clarke, Edmund M.,</subfield><subfield code="c">Jr.</subfield><subfield code="q">(Edmund Melson),</subfield><subfield code="d">1945-2020.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJxxh8wG8XjkGM3R3CDQbd</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Minea, Marius.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ţiplea, Ferucio Laurenţiu.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Verification of infinite-state systems with applications to security (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCH7wBRTCcTw8dWqXfWv8Yd</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 Mar. 17-22 : Timaşoara, Romania).</subfield><subfield code="t">Verification of infinite-state systems with applications to security.</subfield><subfield code="d">Amsterdam ; Washington, D.C. : IOS Press, ©2006</subfield><subfield code="z">1586035703</subfield><subfield code="w">(DLC) 2005937272</subfield><subfield code="w">(OCoLC)65661588</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">NATO security through science series.</subfield><subfield code="n">D,</subfield><subfield code="p">Information and communication security ;</subfield><subfield code="v">vol. 1.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2006064032</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL265966</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10130654</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">164059</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">50510</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3207164</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2468034</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2628204</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocm71251545 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:15:57Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/nb2006011721 |
| isbn | 1423797426 9781423797425 1601291272 9781601291271 9781607501473 1607501473 |
| language | English |
| lccn | 2005937272 |
| oclc_num | 71251545 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (vii, 235 pages) : illustrations. |
| psigel | ZDB-4-EBA |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | IOS Press, |
| record_format | marc |
| series | NATO security through science series. Information and communication security ; |
| series2 | NATO security through science series. D : Information and communication security ; |
| spelling | NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 : Timișoara, Romania) http://id.loc.gov/authorities/names/nb2006011721 Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. Amsterdam ; Washington, D.C. : IOS Press, ©2006. 1 online resource (vii, 235 pages) : illustrations. text txt rdacontent computer c rdamedia online resource cr rdacarrier data file rda NATO security through science series. D : Information and communication security ; vol. 1 Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005. 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 Fragile. 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. Print version record. Use copy Restrictions unspecified star MiAaHDL Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL 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. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL 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. bisacsh COMPUTERS Networking Security. bisacsh COMPUTERS Security General. bisacsh Computer security fast Computer software Verification fast System theory Mathematical models fast Infinite-state systems Security VISSAS Conference papers and proceedings fast Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020. https://id.oclc.org/worldcat/entity/E39PBJxxh8wG8XjkGM3R3CDQbd Minea, Marius. Ţiplea, Ferucio Laurenţiu. has work: Verification of infinite-state systems with applications to security (Text) https://id.oclc.org/worldcat/entity/E39PCH7wBRTCcTw8dWqXfWv8Yd https://id.oclc.org/worldcat/ontology/hasWork Print version: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 Mar. 17-22 : Timaşoara, Romania). Verification of infinite-state systems with applications to security. Amsterdam ; Washington, D.C. : IOS Press, ©2006 1586035703 (DLC) 2005937272 (OCoLC)65661588 NATO security through science series. D, Information and communication security ; vol. 1. http://id.loc.gov/authorities/names/no2006064032 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059 Volltext |
| spellingShingle | Verification of infinite-state systems with applications to security / NATO security through science series. Information and communication security ; 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. 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. bisacsh COMPUTERS Networking Security. bisacsh COMPUTERS Security General. bisacsh Computer security fast Computer software Verification fast System theory Mathematical models fast |
| title | Verification of infinite-state systems with applications to security / |
| title_auth | Verification of infinite-state systems with applications to security / |
| title_exact_search | Verification of infinite-state systems with applications to security / |
| title_full | Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. |
| title_fullStr | Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. |
| title_full_unstemmed | Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. |
| title_short | Verification of infinite-state systems with applications to security / |
| title_sort | verification of infinite state systems with applications to security |
| topic | 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. bisacsh COMPUTERS Networking Security. bisacsh COMPUTERS Security General. bisacsh Computer security fast Computer software Verification fast System theory Mathematical models fast |
| topic_facet | 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 Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059 |
| work_keys_str_mv | AT natoadvancedresearchworkshoponverificationofinfinitestatesystemswithapplicationstosecuritytimisoararomania verificationofinfinitestatesystemswithapplicationstosecurity AT clarkeedmundm verificationofinfinitestatesystemswithapplicationstosecurity AT mineamarius verificationofinfinitestatesystemswithapplicationstosecurity AT tipleaferuciolaurentiu verificationofinfinitestatesystemswithapplicationstosecurity |