{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:41:06Z","timestamp":1730295666964,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/sefm.2003.1236205","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T19:24:01Z","timestamp":1075836241000},"page":"34-43","source":"Crossref","is-referenced-by-count":7,"title":["Weak bisimulation for probabilistic timed automata and applications to security"],"prefix":"10.1109","author":[{"given":"R.","family":"Lanotte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Maggiolo-Schettini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Troina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"ref11","first-page":"75","article-title":"Automatic Verification of Real-time Systems with Discrete Probability Distribution","author":"kwiatkowska","year":"1999","journal-title":"ARTS'99"},{"key":"ref12","article-title":"Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability","author":"kwiatkowska","year":"0","journal-title":"Tech rep CSR-00-01"},{"key":"ref13","article-title":"Probabilistic Non-Repudiation without Trusted Third Party","author":"markowitch","year":"1999","journal-title":"2nd Conference on Security in Communication Network"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref14"},{"article-title":"On Algorithmic Verification methods for Probabilistic Systems","year":"1998","author":"baier","key":"ref4"},{"key":"ref3","first-page":"183","volume":"126","author":"baier","year":"1994","journal-title":"Weak Bisimulation for Fully Probabilistic Processes"},{"journal-title":"Timed Automata May Cause Some Troubles BRICS RS-02-35","year":"0","author":"bouyer","key":"ref6"},{"key":"ref5","first-page":"65","volume":"292","author":"beauquier","year":"2003","journal-title":"On Probabilistic Timed Automata"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1123"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref1","first-page":"17","article-title":"Security Analysis of a Probabilistic Non-repudiation Protocol","author":"aldini","year":"2002","journal-title":"Proc of PAPM-PROBMIV '02"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9440-2"}],"event":{"name":"1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03","start":{"date-parts":[[2003,9,22]]},"location":"Brisbane, Queensland, Australia","end":{"date-parts":[[2003,9,27]]}},"container-title":["First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8747\/27706\/01236205.pdf?arnumber=1236205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T18:27:07Z","timestamp":1489429627000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1236205\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/sefm.2003.1236205","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}