SCOPUS 정보 검색 플랫폼

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 33, Issue 1, 2010, Pages 74-81

A formal method based on noninterference for analyzing trust chain of trusted computing platform

(3) Zhang, Xing a,b Huang, Qiang c Shen, Chang Xiang a,c

a INFORMATION ENGINEERING UNIVERSITY (China)

b BEIJING UNIVERSITY OF TECHNOLOGY (China)

c Navy Research Institute (China)

Author keywords

Noninterference; Security policy; Trust chain; Trusted computing

Indexed keywords

CHAIN TRANSFER; COMPUTING PLATFORM; INFORMATION FLOWS; INTEGRITY MEASUREMENT; INTRANSITIVE NON-INTERFERENCE; NONINTERFERENCE; RUNTIMES; SECURITY POLICY; TRUST MODELS; TRUSTED COMPUTING; TRUSTED COMPUTING PLATFORM;

FORMAL METHODS; SECURITY SYSTEMS;

SECURITY OF DATA;

EID: 77949561278 PISSN: 02544164 EISSN: None Source Type: Journal
DOI: 10.3724/SP.J.1016.2010.00074 Document Type: Article

Times cited : (23)

References (7)

1
- 34547277604
- Survey of information security
- (in Chinese)
- Shen Chang-Xiang, Zhang Huan-Guo, Feng Deng-Guo, Cao Zhen-Fu, Huang Ji-Wu. Survey of information security. Science in China Series F: Information Sciences, 2007, 50(3): 273-298(in Chinese)
- (2007) Science in China Series F: Information Sciences , vol.50 , Issue.3 , pp. 273-298
- Shen, C.-X.¹ Zhang, H.-G.² Feng, D.-G.³ Cao, Z.-F.⁴ Huang, J.-W.⁵

2
- 77949560695
- TCG Inside? A note on TPM specification compliance
- Belgium
- Sadeghi Ahmad-Reza, Selhorst Marcel, Stüble Christian, Winandy Marcel. TCG Inside? A note on TPM specification compliance//Proceedings of the 1st Benelux Workshop on Information and System Security. Belgium, 2006
- (2006) Proceedings of the 1st Benelux Workshop on Information and System Security
- Ahmad-Reza, S.¹ Marcel, S.² Christian, S.³ Marcel, W.⁴

3
- 33748062337
- PRIMA: Policy-reduced integrity measurement architecture
- Lake Tahoe, California
- Jaeger Trent, Sailer Reiner, Shankar Umesh. PRIMA: Policy-Reduced Integrity Measurement Architecture//Proceedings of the 11th ACM Symposium on Access Control Models and Technologies(SACMAT 2006). Lake Tahoe, California, 2006: 134-143
- (2006) Proceedings of the 11th ACM Symposium on Access Control Models and Technologies(SACMAT 2006) , pp. 134-143
- Trent, J.¹ Reiner, S.² Umesh, S.³

4
- 64249107517
- A non-interference trusted model based on processes
- (in Chinese)
- Zhang Xing, Chen You-Lei, Shen Chang-Xiang. A non-interference trusted model based on processes. Journal on Communications, 2009, 30(3): 6-11(in Chinese)
- (2009) Journal on Communications , vol.30 , Issue.3 , pp. 6-11
- Zhang, X.¹ Chen, Y.-L.² Shen, C.-X.³

5
- 0003502331
- Noninterference, transitivity and channel-control security policies
- Stanford Research Institute, Menlo Park: CSL Technical Report CS-92-02
- Rushby John. Noninterference, transitivity and channel-control security policies. Stanford Research Institute, Menlo Park: CSL Technical Report CS-92-02, 1992
- (1992)
- Rushby, J.¹

6
- 77949562786
- Study about terminal security architecture based on trusted computing
- Naval University of Engineering, Wuhan, (in Chinese)
- Huang Qiang. Study about terminal security architecture based on trusted computing [Ph.D. dissertation]. Naval University of Engineeering, Wuhan, 2007(in Chinese)
- (2007)
- Huang, Q.¹

7
- 21644455412
- Terra: A virtual machine-based platform for trusted computing
- Garfinkel Tal, Pfaff Ben et al. Terra: A virtual machine-based platform for trusted computing//Proceedings of the SOSP03. 2003: 193-206
- (2003) Proceedings of the SOSP03 , pp. 193-206
- Garfinkel, T.¹ Pfaff, B.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.