5 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.AI2023
On Quantified Observability Analysis in Multiagent Systems
Chunyan Mu, Jun Pang
In multiagent systems (MASs), agents' observation upon system behaviours may improve the overall team performance, but may also leak sensitive information to an observer. A quantif…
cs.CR2022
Quantitative Verification of Opacity Properties in Security Systems
Chunyan Mu, David Clark
We delineate a methodology for the specification and verification of flow security properties expressible in the opacity framework. We propose a logic, OpacTL , for straightforward…
cs.CR2014★ 5 cited
A Flow Sensitive Security Model for Cloud Computing Systems
Wen Zeng, Chunyan Mu, Maciej Koutny +1
The extent and importance of cloud computing is rapidly increasing due to the ever increasing demand for internet services and communications. Instead of building individual inform…