Travelled to:
1 × Canada
1 × Republic of China
6 × USA
Collaborated with:
L.Yang G.Fan X.He D.Liu R.K.Ege L.Chen Y.Deng S.Gao X.Pei Z.Shao L.Mo K.Beznosov K.M.L.Cooper
Talks about:
aspect (5) secur (5) model (5) softwar (3) system (3) servic (3) orient (3) mediat (3) design (3) analyz (3)
Person: Huiqun Yu
DBLP: Yu:Huiqun
Contributed to:
Wrote 12 papers:
- SEKE-2015-FanYC #adaptation #composition #energy #modelling
- Modeling and Analyzing Adaptive Energy Consumption for Service Composition (GF, HY, LC), pp. 585–588.
- SEKE-2015-PeiYF #data access #in the cloud #performance #policy
- Achieving Efficient Access Control via XACML Policy in Cloud Computing (XP, HY, GF), pp. 110–115.
- SEKE-2013-YuFCL #in the cloud #modelling
- Modeling and Analyzing Attack-Defense Strategy of Resource Service in Cloud Computing (HY, GF, LC, DL), pp. 77–82.
- SEKE-2011-YuLFC #composition #testing
- A Regression Test Technique for Analyzing the Functionalities of Service Composition (HY, DL, GF, LC), pp. 578–582.
- SEKE-2006-YuLSH #modelling #using
- Modeling Complex Software Systems Using an Aspect Extension of Object-Z (HY, DL, ZS, XH), pp. 11–16.
- SAC-2005-YangEY #database #security #semistructured data #specification
- Mediation security specification and enforcement for heterogeneous databases (LY, RKE, HY), pp. 354–358.
- SAC-2005-YangEY05a #framework #modelling #verification
- Mediation framework modeling and verification by SAM (LY, RKE, HY), pp. 1567–1568.
- SEKE-2005-YuLYH #analysis #aspect-oriented #modelling
- Formal Aspect-Oriented Modeling and Analysis by Aspect (HY, DL, LY, XH), pp. 169–174.
- SEKE-2004-GaoDYHBC #case study #design #security
- Applying Aspect-Orientation in Designing Security Systems: A Case Study (SG, YD, HY, XH, KB, KMLC), pp. 360–365.
- SEKE-2004-YangEY #approach #aspect-oriented #security
- Enhancing Mediation Security by Aspect-Oriented Approach (LY, RKE, HY), pp. 155–160.
- SEKE-2004-YuHDM #architecture #design #security
- Integrating Security Administration into Software Architectures Design (HY, XH, YD, LM), pp. 416–420.
- SEKE-2003-YuHGD #architecture #design #distributed #formal method
- Formal Software Architecture Design of Secure Distributed Systems (HY, XH, SG, YD), pp. 450–457.