|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | XEN Virtual Machine Technology and Its Security Analysis显示文摘This paper interprets the essence of XEN and hardware virtualization technology, which make the virtual machine tech- nology become the focus of people’s attention again because of its impressive performance. The security challenges of XEN are mainly researched from the pointes of view: security bottleneck, security isolation and share, life-cycle, digital copyright protection, trusted virtual machine and managements, etc. These security problems significantly affect the security of the virtual machine system based on XEN. At the last, these security measures are put forward, which will be a useful instruction on enhancing XEN security in the future. | XUE Haifeng QING Sihan ZHANG Huanguo | 2007 | Wuhan University Journal of Natural Sciences2007,12,1: | 4 |
| 2 | A formal model for integrity protection based on DTE technique显示文摘In order to provide integrity protection for the secure operating system to satisfy the structured protection class' requirements, a DTE technique based integrity protection formalization model is proposed after the implications and structures of the integrity policy have been analyzed in detail. This model consists of some basic rules for configuring DTE and a state transition model, which are used to instruct how the domains and types are set, and how security invariants obtained from initial configuration are maintained in the process of system transition respectively. In this model, ten invariants are introduced, especially, some new invariants dealing with information flow are proposed, and their relations with corresponding invariants described in literatures are also discussed. The thirteen transition rules with well-formed atomicity are presented in a well-operational manner. The basic security theorems correspond to these invariants and transition rules are proved. The rationalities for proposing the invariants are further annotated via analyzing the differences between this model and ones described in literatures. At last but not least, future works are prospected, especially, it is pointed out that it is possible to use this model to analyze SE-Linux security. | JI Qingguang QING Sihan HE Yeping | 2006 | Science in China(Series F)2006,49,5: | 4 |
| 3 | Study on strand space model theory显示文摘 | JI QingGuang QING SiHan ZHOU YongBin | 2003 | J Comput Sci & Technol2003,18,5: | 1 |
| 4 | ON DECORRELATED FAST CIPHER显示文摘Decorrelated Fast Cipher(DFC) is a candidate for the Advanced Encryption Standard (AES). It is shown that the cryptographic properties of the confusion permutation of DFC are weak in this paper. With the same F-function of DFC, a Feistel cipher VDFC which has no resistance against differential cryptanalysis is constructed. This demonstrates the importance of the key addition into DFC sufficiently. As a result, DFC may not be qualified candidate for the AES. | Wu Wenling Li Bao Feng Denguo Qing Sihan(Engineering Research Center for Information Security Technology,Chinese Academy of Sciences, Beijing 100080) | 2000 | Journal of Electronics(China)2000,17,1: | 0 |
| 5 | Artificial Plant Seeds and Their Application显示文摘The artificial plant seed is a new technology developed on the basis of the in vitro plant culture technology.As a high-tech achievement with great development potential and economic value in the 21^(st) century,artificial plant seeds have great potential advantages.This paper briefly introduced artificial plant seeds,their composition and advantages,the preparation of artificial plant seeds and the application of artificial plant seeds. | Yilong HOU Zhiruo QI Sihan YU Chuiyu KONG Tongning BAI Qing LI | 2022 | Agricultural Biotechnology2022,11,2: | 0 |
| 6 | Highly stable side-chain-type cardo poly(aryl ether ketone)s membranes for vanadium flow battery显示文摘Vanadium flow batteries(VFBs)have drawn considerable attention as an emerging technology for largescale energy storage systems(ESSs).One of the pivotal challenges is the availability of eligible ion exchange membranes(ICMs)that provide high ion selectivity,proton conductivity,and stability under rigorous condition.Herein,a‘side-chain-type’strategy has been employed to fabricate highly stable phenolphthalein-based cardo poly(arylene ether ketone)s(PAEKs)membrane with low area resistance(0.058Ωcm^(2)),in which flexible alkyl spacers effectively alleviated inductive withdrawing effect from terminal ion exchange groups thus enabling a stable backbone.The assembled VFBs based on PAEKs bearing pendent alkyl chain terminated with quaternary ammonium(Q-PPhEK)demonstrated an energy efficiency above 80%over 700 cycles at 160 mA/cm^(2).Such a remarkable results revealed that the side-chain-type strategy contributed to enhancing the ICMs stability in strong oxidizing environment,meanwhile,more interesting backbones would be woken with this design engaging in stable ICMs for VFBs. | Ziming Zhao Qing Dai Sihan Huang Wenjing Lu Yaohan Chen Jifu Zheng Suobo Zhang Shenghai Li Xianfeng Li | 2024 | Chinese Chemical Letters2024,35,3: | 0 |
| 7 | A Kind of Multi-party Non-repudiation Protocol with Consistent Evidence显示文摘 | Liu Dongmei Qing Sihan | 2009 | China Communications2009,6,4: | 0 |