Zobrazeno 1 - 10
of 76
pro vyhledávání: '"Mu, Chunyan"'
Autor:
Mu, Chunyan, Pang, Jun
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 quantified observability analysis can thus be useful to assist decision-makin
Externí odkaz:
http://arxiv.org/abs/2310.02614
Autor:
Mu, Chunyan, Clark, David
We delineate a methodology for the specification and verification of flow security properties expressible in the opacity framework. We propose a logic, OpacTL , for straightforwardly expressing such properties in systems that can be modelled as parti
Externí odkaz:
http://arxiv.org/abs/2206.14317
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming August 2024 140
Publikováno v:
In International Immunopharmacology 25 January 2024 127
Autor:
Mu, Chunyan
This paper studies the problem of reasoning about flow security properties in virtualised computing networks with mobility from perspective of formal language. We propose a distributed process algebra CSP_{4v} with security labelled processes for the
Externí odkaz:
http://arxiv.org/abs/2004.05500
Autor:
Chen, Hang, Tian, Yucheng, Hu, Zekun, Wang, Cenchao, Xie, Peiran, Chen, Liping, Yang, Fan, Liang, Yunyao, Mu, Chunyan, Wei, Chaohai, Ting, Yen-Peng, Qiu, Guanglei, Song, Yonghui
Publikováno v:
In Journal of Membrane Science 15 March 2022 646
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 information technology infrastructure to host databases or software, a third
Externí odkaz:
http://arxiv.org/abs/1404.7760
Autor:
Wu, Min, Mu, Chunyan, Yang, Huiwen, Wang, Yue, Ma, Ping, Li, Shibao, Wang, Zhongcheng, Lan, Ting
Publikováno v:
Molecular Biology Reports; 1/18/2024, Vol. 51 Issue 1, p1-13, 13p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Journal of Pharmacological Sciences June 2018 137(2):110-115