2009 |
15 | EE | Xinsong Wu,
Zhouyi Zhou,
Yeping He,
Hongliang Liang:
Static Analysis of a Class of Memory Leaks in TrustedBSD MAC Framework.
ISPEC 2009: 83-92 |
2008 |
14 | EE | Lingli Deng,
Yeping He,
Ziyao Xu:
Enforcing Separation of Duty in Ad Hoc Collaboration.
ICYCS 2008: 1545-1552 |
13 | EE | Lingli Deng,
Yeping He,
Ziyao Xu:
Service Authenticity in P2P File-Sharing.
ICYCS 2008: 2246-2253 |
12 | EE | Lingli Deng,
Yeping He,
Ziyao Xu:
Separation of Duty in Trust-Based Collaboration.
Inscrypt 2008: 370-388 |
11 | EE | Ziyao Xu,
Yeping He,
Lingli Deng:
An Integrity Assurance Mechanism for Run-Time Programs.
Inscrypt 2008: 389-405 |
10 | EE | Lingli Deng,
Yeping He,
Ziyao Xu:
Trusted Reputation Management Service for Peer-to-Peer Collaboration.
OTM Conferences (2) 2008: 1069-1086 |
2007 |
9 | EE | Zhiguo Shi,
Yeping He,
Xiaoyong Huai,
Hong Zhang:
Identity Anonymity for Grid Computing Coordination based on Trusted Computing.
GCC 2007: 403-410 |
8 | EE | Ziyao Xu,
Yeping He,
Lingli Deng:
A Multilevel Reputation System for Peer-to-Peer Networks.
GCC 2007: 67-74 |
7 | EE | Hong Zhang,
Yeping He,
Zhiguo Shi:
A formal model for access control with supporting spatial context.
Science in China Series F: Information Sciences 50(3): 419-439 (2007) |
2006 |
6 | EE | Lingli Deng,
Yeping He,
Ziyao Xu,
Chunyang Yuan:
An Enhanced N-Way Exchange-Based Incentive Scheme for P2P File Sharing (Short Paper).
ICICS 2006: 322-331 |
5 | EE | Hong Zhang,
Yeping He,
Zhiguo Shi:
Spatial Context in Role-Based Access Control.
ICISC 2006: 166-178 |
4 | EE | Chunyang Yuan,
Yeping He,
Jianbo He,
Zhouyi Zhou:
A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty.
Inscrypt 2006: 196-210 |
3 | EE | Qingguang Ji,
Sihan Qing,
Yeping He:
A formal model for integrity protection based on DTE technique.
Science in China Series F: Information Sciences 49(5): 545-565 (2006) |
2005 |
2 | EE | Zhouyi Zhou,
Bin Liang,
Li Jiang,
Wenchang Shi,
Yeping He:
A Formal Description of SECIMOS Operating System.
MMM-ACNS 2005: 286-297 |
2001 |
1 | EE | Yeping He,
Sihan Qing:
Square Attack on Reduced Camellia Cipher.
ICICS 2001: 238-245 |