Quantitative Verification of Opacity Properties in Security Systems

dc.contributor.author	Mu, Chunyan
dc.contributor.author	Clark, David
dc.date.accessioned	2023-08-04T08:26:00Z
dc.date.available	2023-08-04T08:26:00Z
dc.date.issued	2022-06-28
dc.format.extent	23
dc.format.extent	330014
dc.identifier	225684400
dc.identifier	5b9f24ed-6ad1-486e-9022-8d3b04c457b9
dc.identifier.citation	Mu, C & Clark, D 2022 'Quantitative Verification of Opacity Properties in Security Systems' ArXiv. https://doi.org/10.48550/arXiv.2206.14317	en
dc.identifier.doi	10.48550/arXiv.2206.14317
dc.identifier.other	ArXiv: http://arxiv.org/abs/2206.14317v1
dc.identifier.other	ORCID: /0000-0002-2988-6939/work/140031753
dc.identifier.uri	https://hdl.handle.net/2164/21378
dc.language.iso	eng
dc.publisher	ArXiv
dc.subject	opacity	en
dc.subject	logic	en
dc.subject	verification	en
dc.subject	QA75 Electronic computers. Computer science	en
dc.subject.lcc	QA75	en
dc.title	Quantitative Verification of Opacity Properties in Security Systems	en
dc.type	Preprint	en

Files

Now showing 1 - 1 of 1