Regular papers (DASC09) Workshop papers
| ID | Paper Title | Authors |
| 105 | An Improved Mobile Node Fast Handover Algorithm | Na Lin, Li-xue Song,Tao Yang |
| 107 | Research and Implement of Secure Bootstrap for Virtual Machine based on Trusted Computing Platform | Zhiqiang Zhu, Mingdi Xu Huanguo Zhang |
| 108 | Research on Secure and Reconfigurable Architecture Based on Embedded Hardware | Zhiqiang Zhu, Mingdi Xu Huanguo Zhang |
| 109 | A Method for Software Security Growth Based on the Real-time Monitor Algorithm and Software Hot-swapping | huiqiang wang, xikun dong haifeng wang |
| 110 | Design and Implementation of Educational Resources Grid Portal Based on JSF | Hong-qing Hong-qing, Hao Wang |
| 111 | Adaptive Dimensioning of Cloud Data Centers | Wenhong Tian |
| 113 | A Key Agreement Scheme Based on Bilinear Pairing for Wireless Sensor Network | Chen Hao, Guo Ya-Jun |
| 114 | Formal Analysis of Fault Recovery in Self-Organizing Systems | Jan Calta, Miroslaw Malek |
| 116 | Dependability analysis for AADL models by PVS | Geng Chen, Lei Luo, Rong Gong, Shenglin Gui |
| 117 | Cryptanalysis on the Identity-based Authenticated Key Agreement Protocols from Pairings | Mengbo Hou, Qiuliang Xu |
| 118 | Modeling Reputation Scheme in P2P File-sharing by Stochastic Activity Networks | Peiqing Zhang, Bjarne Helvik |
| 119 | Behavioral Study of UNIX Commands in a Faulty Environment | Cássio Pereira, Rodrigo Mello |
| 120 | Achieving Information Security in Network Computing Systems | salvatore Distefano, vincenzo daniele Cunsolo, Antonio Puliafito, Marco Scarpa |
| 122 | Verification of a Lock-Free Implementation of Multiword LL/SC Object | Hui Gao, Yan Fu, Wim Hesselink |
| 123 | Securing Session Initiation Protocol in Voice over IP Domain | Rajan Shankaran, Iyad Alsmairat, Mehmet Orgun, Eryk Dutkiewicz |
| 124 | A Decentralized Trust Framework for Peer-to-Peer Mobile Ad Hoc Networks | Rajan Shankaran, Vijay Varadharajan, Mehmet Orgun, Iyad Alsmairat |
| 125 | Identity Authentication model in Heterogeneous Integration Environment | Juan Du, XueFei Tang |
| 127 | Security Analysis of NSSK Protocol and Its Improvement | Junguo Liao, Bin Zhu, Gengming Zhu |
| 128 | Energy-Efficient Cluster-Based Scheme for Handling Node Failure in Real-Time Sensor Networks | Hamid Karimi, Mehdi Kargahi, Nasser Yazdani |
| 129 | Policy Description Language for Dynamic Access Control Models | Masaki Hashimoto, Mira Kim, Hidenori Tsuji, Hidehiko Tanaka |
| 130 | Reliability and Dependability Modeling and Analysis of Dynamic Aspects in Complex Systems | salvatore Distefano |
| 131 | Modeling and Analysis of Self-reflection Based on Continuous State-Space Approximation of PEPA | Hongwu Lv, Huiqiang Wang, Qian Zhao, Chunguang Ma |
| 132 | Using Hessian Locally Linear Embedding for autonomic failure prediction | xu lu, uiqiang wang, renjie zhou, baoyu ge |
| 133 | ABSR: An Agent based Self-Recovery Model for Wireless Sensor Network | Chunguang Ma, Xiangjun Lin, Hongwu Lv, Huiqiang Wang |
| 134 | Web Service Selection Algorithm Based on Particle Swarm Optimization | Hong Xia, Yan Chen, Zengzhi Li, Haichang Gao,Yanping Chen |
| 135 | A dynamic protection system of web server in virtual cluster using live migration | Ruo Ando, Zong-Hua Zhang, Youki Kadobayashi, Yoichi Shinoda |
| 137 | A rare feature recognition approach based on Fuzzy ART neural networks | Jun Zha, Cong Lu, HongGuang Lv |
| 138 | Real Hardware Verification by Software for Bootstrap Using TSC | Kunio Miyamoto, Hidehiko Tanaka |
| 143 | A Service-oriented Model for Autonomic Computing Elements Based upon Queuing Theory | Qian Zhao, Huiqiang Wang, Guangsheng Feng, Xu Lu, Hongwu Lv |
| 144 | Research on Parallelization of Aspect-Oriented Program | He Tengfei, Mao Xiaoguang |
| 146 | Reducing Program Environment Misjudgement on VM Detection Using TSC | Kunio Miyamoto, Hidehiko Tanaka |
| 147 | An Outlier Mining Algorithm Based on Probability | Yue Zhang, Jie Liu |
| 148 | A Utility-based Adaptive Resource Allocation Policy in Virtualized Environment | Xianghua Xu, Peipei Shan, Jian Wan |
| 149 | Semantic Web Services Retrieval as Query for Knowledge Base | Wang Hai, Li Zengzhi, Fan Lin |
| 150 | TCBC: Trap Caching Bounds Checking for C | Yoshitaka Arahori, Katsuhiko Gondow, Hideo Maejima |
| 160 | Design Optimization under Aleatory and Epistemic Uncertainties Based on Possibility Theory | Juan Wei, Bo Yang, Wei Liu |
| 161 | Active Worm Propagation Modeling in Unstructured P2P Networks | Zhang Xiaosong, Chen Ting, Zheng Jiong, Li Hua |
| 162 | Password Recovery for RAR Files Using CUDA | Guang Hu, Benxiong Huang and Jianhua Ma |
Short papers (DASC09)
| 126 | A new Connected Component Analysis Algorithm Based on Max-Tree | Xu Chen, Hui Gao, Yan Fu |
| 136 | P2P-Based Single Sign-On | Yong Ma, Xuewen Chen, Ling Li, Yaoming Luo |
| 139 | Research of Fingerprint Recognition | Chunfeng Jiang, Yulan Zhao, Wei Xu, Xiangping Meng |
