|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Threat-Based Declassification and Endorsement for Mobile Computing显示文摘Declassification and endorsement can efficiently improve the usability of mobile applications.However, both declassify and endorse operations in practice are often ad-hoc and nondeterministic, thus, being insecure. From a new perspective of threat assessments,we propose the Threat-based typed security π-calculus(πTBTS) to model declassification and endorsement in mobile computing. Intuitively, when relaxing confidentiality policies and/or integrity policies, we respectively assess threats brought by performing these two relaxes. If these threats are acceptable, the declassification and/or endorsement operations are permitted;Otherwise, they are denied. The proposed assessments have explicit security conditions, results and less open parameters,so our approach solves the problem of the ad-hoc and nondeterministic semantics and builds a bridge between threat assessments and declassification/endorsement. | YIN Lihua GUO Yunchuan ZHANG Huibing HUANG Wenting FANG Binxing | 2019 | Chinese Journal of Electronics2019，28，5： | 2 |
| 2 | Comparison of measuring information leakage for fully probabilistic systems 显示文摘 | Sun Donghong Guo Yunchuan Yin Lihu | 2012 | International Journal of Innovative Computing Information and Control2012，8，1： | 1 |
| 3 | Efficient Modeling of Novel Uniplanar Left-Handed Metamaterials显示文摘 | Yunchuan Guo George Goussetis Alexandros P Feresidis | 2005 | IEEE Transactions on Microwave Theory and Techniques2005，53，4： | 1 |
| 4 | Efficient modeling of novel uniplanar left-handed metamaterials显示文摘 | GUO Yunchuan GOUSSETIS G FERESIDIS A P | 2005 | IEEE Transactions on Microwave Theory and Techniques2005，53，4： | 1 |
| 5 | Simultaneously Improved Tougheness and Dielectric Properties of Epoxy/Core-Shell Particle Blends 显示文摘 | Weitao Wan Demei Yu Jian He Yunchuan Xie Longbiao Huang Xiusheng Guo | 2008 | Journal of Applied Polymer Science2008，，107： | 1 |
| 6 | SRIM Scheme: An Impression-Management Scheme for Privacy-Aware Photo-Sharing Users显示文摘 | Fenghua Li Zhe Sun Ben Niu Yunchuan Guo Ziwen Liu | 2018 | Engineering2018，4，1： | 1 |
| 7 | δ-Calculus:A New Approach to Quantifying Location Privacy显示文摘With the rapid development of mobile wireless Internet and high-precision localization devices,location-based services(LBS)bring more convenience for people over recent years.In LBS,if the original location data are directly provided,serious privacy problems raise.As a response to these problems,a large number of location-privacy protection mechanisms(LPPMs)(including formal LPPMs,FLPPMs,etc.)and their evaluation metrics have been proposed to prevent personal location information from being leakage and quantify privacy leakage.However,existing schemes independently consider FLPPMs and evaluation metrics,without synergizing them into a unifying framework.In this paper,a unified model is proposed to synergize FLPPMs and evaluation metrics.In detail,the probabilistic process calculus(calledδ-calculus)is proposed to characterize obfuscation schemes(which is a LPPM)and integrateα-entropy toδ-calculus to evaluate its privacy leakage.Further,we use two calculus moving and probabilistic choice to model nodes’mobility and compute its probability distribution of nodes’locations,and a renaming function to model privacy leakage.By formally defining the attacker’s ability and extending relative entropy,an evaluation algorithm is proposed to quantify the leakage of location privacy.Finally,a series of examples are designed to demonstrate the efficiency of our proposed approach. | Lihua Yin Ran Li Jingquan Ding Xiao Li Yunchuan Guo Huibing Zhang Ang Li | 2020 | Computers, Materials & Continua2020，，6： | 0 |
| 8 | Exosome/metformin-loaded self-healing conductive hydrogel rescues microvascular dysfunction and promotes chronic diabetic wound healing by inhibiting mitochondrial fission显示文摘Chronic diabetic wounds remain a globally recognized clinical challenge.They occur due to high concentrations of reactive oxygen species and vascular function disorders.A promising strategy for diabetic wound healing is the delivery of exosomes,comprising bioactive dressings.Metformin activates the vascular endothelial growth factor pathway,thereby improving angiogenesis in hyperglycemic states.However,multifunctional hydrogels loaded with drugs and bioactive substances synergistically promote wound repair has been rarely reported,and the mechanism of their combinatorial effect of exosome and metformin in wound healing remains unclear.Here,we engineered dual-loaded hydrogels possessing tissue adhesive,antioxidant,self-healing and electrical conductivity properties,wherein 4-armed SH-PEG cross-links with Ag^(+),which minimizes damage to the loaded goods and investigated their mechanism of promotion effect for wound repair.Multiwalled carbon nanotubes exhibiting good conductivity were also incorporated into the hydrogels to generate hydrogen bonds with the thiol group,creating a stable three-dimensional structure for exosome and metformin loading.The diabetic wound model of the present study suggests that the PEG/Ag/CNT-M+E hydrogel promotes wound healing by triggering cell proliferation and angiogenesis and relieving peritraumatic inflammation and vascular injury.The mechanism of the dual-loaded hydrogel involves reducing the level of reactive oxygen species by interfering with mitochondrial fission,thereby protecting F-actin homeostasis and alleviating microvascular dysfunction.Hence,we propose a drug-bioactive substance combination therapy and provide a potential mechanism for developing vascular function-associated strategies for treating chronic diabetic wounds. | Yue Zhang Meng Li Yunchuan Wang Fei Han Kuo Shen Liang Luo Yan Li Yanhui Jia Jian Zhang Weixia Cai Kejia Wang Ming Zhao Jing Wang Xiaowen Gao Chenyang Tian Baolin Guo Dahai Hu | 2023 | Bioactive Materials2023，，8： | 0 |
| 9 | Detecting conflict of heterogeneous access control policies显示文摘Policy conflicts may cause substantial economic losses.Although a large amount of effort has been spent on detecting intra-domain policy conflict,it can not detect conflicts of heterogeneous policies.In this paper,considering background knowledge,we propose a conflict detection mechanism to search and locate conflicts of heterogeneous policies.First,we propose a general access control model to describe authorization mechanisms of cloud service and a translation scheme designed to translate a cloud service policy to an Extensible Access Control Markup Language(XACML)policy.Then the scheme based on Multi-terminal Multi-data-type Interval Decision Diagram(MTMIDD)and Extended MTMIDD(X-MTMIDD)is designed to represent XACML policy and search the conflict among heterogeneous policies.To reduce the rate of false positives,the description logic is used to represent XACML policy and eliminate false conflicts.Experimental results show the efficiency of our scheme. | Mingjie Yu Fenghua Li Nenghai Yu Xiao Wang Yunchuan Guo | 2022 | Digital Communications and Networks2022，8，5： | 0 |
| 10 | SUMMARIZATION OF BOOLEAN SATISFIABILITY VERIFICATION显示文摘As a complementary technology to Binary Decision Diagram-based(BDD-based) symbolic model checking, the verification techniques on Boolean satisfiability problem have gained an increasing wide of applications over the last few decades, which brings a dramatic improvement for automatic verification. In this paper, we firstly introduce the theory about the Boolean satisfiability verification, including the description on the problem of Boolean satisfiability verification, Davis-Putnam-Logemann-Loveland(DPLL) based complete verification algorithm, and all kinds of solvers generated and the logic languages used by those solvers. Moreover, we formulate a large number optimizations of technique revolutions based on Boolean SATisfiability(SAT) and Satisfiability Modulo Theories(SMT) solving in detail, including incomplete methods such as bounded model checking, and other methods for concurrent programs model checking. Finally, we point out the major challenge pervasively in industrial practice and prospect directions for future research in the field of formal verification. | Qian Junyan Wu Juan Zhao Lingzhong Guo Yunchuan | 2014 | Journal of Electronics(China)2014，31，3： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员