{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T08:35:32Z","timestamp":1790843732042,"version":"4.1.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1109\/cdc.2009.5400704","type":"proceedings-article","created":{"date-parts":[[2010,2,2]],"date-time":"2010-02-02T10:27:26Z","timestamp":1265106446000},"page":"199-204","source":"Crossref","is-referenced-by-count":8,"title":["Opaque superlanguages and sublanguages in discrete event systems"],"prefix":"10.1109","author":[{"given":"Majed","family":"Ben-Kalefa","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Feng","family":"Lin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","first-page":"81","article-title":"Opacity generalized to transition systems","author":"bryans","year":"2006","journal-title":"FAST 2005"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605918"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.010"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0020-5"},{"key":"ref14","author":"lin","year":"0","journal-title":"Opacity of discrete event systems and its Applications Submitted for publication"},{"key":"ref15","article-title":"Reputation in P2P Anonymity Systems","author":"dingledine","year":"2003","journal-title":"Workshop on Economics of Peer-to-Peer Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/290163.290168"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.3233\/JCS-2004-123-403","article-title":"Probabilistic model checking of an anonymity system","author":"shmatikov","year":"2004","journal-title":"Journal of Computer Security"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.847749"},{"key":"ref19","article-title":"Using unification for opacity properties","author":"mazare","year":"2004","journal-title":"Proceedings of the Workshop on Issues The Theory of Security (WITS '04)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/87.486338"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01441211"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.701089"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.05.025"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.910713"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"ref20","article-title":"Decidability Of Opacity With Non-Atomic Keys","author":"mazare","year":"2004","journal-title":"Verimag Technical Report Number TR-2004-23"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.010"},{"key":"ref21","first-page":"131","article-title":"Compiling and verifying security protocols","author":"florent","year":"2000","journal-title":"Logic Programming and Automated Reasoning"},{"key":"ref23","article-title":"Reconciling two views of cryptogtaphy (the computational soundness of formal encryption)","author":"martin","year":"2000","journal-title":"IFIP International Conference on Theoritecal Computer Science(IFIP TCS2000)"}],"event":{"name":"2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC)","location":"Shanghai, China","start":{"date-parts":[[2009,12,15]]},"end":{"date-parts":[[2009,12,18]]}},"container-title":["Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5379695\/5399469\/05400704.pdf?arnumber=5400704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T10:31:37Z","timestamp":1558780297000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5400704\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/cdc.2009.5400704","relation":{},"subject":[],"published":{"date-parts":[[2009,12]]}}}