Zhang Yu-sen

发表

An Incremental Policy Deployment Model Based on Domain

Zhang Yu-sen, 2006 .

Design of High Reliability Storage System Based on CRS Algorithm

Zhang Yu-sen, 2007 .

Application of Design Pattern in Building Embedded System IDE

Zhang Yu-sen, 2007 .

Design and Implementation of Embedded GIS

Zhang Yu-sen, 2007 .

A Scheme of Mutual Authentication and Key Agreement which is Based on Public Key System and can Assure Identity Security

Zhang Yu-sen, 2008 .

Design and Implementation of Access Control List Mechanism Under Linux Environment

Pla Uni, Zhang Yu-sen, Luo Yan, 2004 .

Implementation of Verification of ACID Properties Based on TPC-C Benchmark

Zhang Yu-sen, 2008 .

Research and Improvement of the Security of Linux IPC Mechanism

Zhang Yu-sen, 2004 .

Liveness reasoning of elevator control system in Isabelle/HOL

Zhang Yu-sen, 2008 .

Organization-structure-oriented Access Control Administration Model

Yuan Feng, Zhao Xiaolong, Zhang Yu-sen, 2009 .

Correctness verification of SAODV protocol in Isabelle/HOL

Zhang Yu-sen, 2008 .

Research on Technology of Multi-dimension Data Searching Based on P2P

Zhang Yu-sen, 2007 .

Benefit-Based Lookup in Unstructured Peer-to-Peer Networks

Zhang Yu-sen, 2008 .

Implementation and Application of BLP Model Under Linux Environment

Pla Uni, Zhang Yu-sen, Wang Jin-shuang, 2004 .

Research of Access Control of Role-Based MAC

Pla Uni, Zhang Yu-sen, 2006 .

Formal Threat Analysis for Ad-Hoc Routing Protocol: Modelling and Checking the Sybil Attack

Zhang Yu-sen, Zhang Tao, Wang Jin-shuang, 2011 .

A Response Identity Authentication Mechanism based on Backwards-Direction Notification for SIP Retargeting Call

Zhang Yu-sen, 2008 .

Secure DSR routing protocol analysis and design

Pla Uni, Zhang Yu-sen, 2006 .

Formal Construction of Probability Space on Concurrent Systems

Zhang Yu-sen, 2008 .