Detecting Security in Cloud Services Based on π-CalculusChinese Full Text
LIU Lei;REN Junqi;ZHANG Peng;SHEN Chun;College of Computer Science and Technology,Jilin University;College of Software,Jilin University;
Abstract: Theπ-calculus was used to describe the process of the cloud services.Based on the description,the methods of detecting the two problems of the users’ unauthorized access and integrity verification was proposed.The process of the method can be described by the deploying of the virtual machines in the cloud,and the proposed method was compared with the security detection methods such as the Bayesian network,the prediction rule set and so on.The results show that the proposed method can simultaneously ensure the consistency and the security of cloud service process.
- DOI：
10.13413/j.cnki.jdxblxb.2014.03.18
- Series：
- Subject：
- Classification Code：
TP393.09;TP309
- Mobile Reading
Read on your phone instantly
Step 1Scan QR Codes
"Mobile CNKI-CNKI Express" App
Step 2Open“CNKI Express”
and click the scan icon in the upper left corner of the homepage.
Step 3
Scan QR Codes
Read this article on your phone.
- HTML
- CAJ Download
- PDF Download
Download the mobile appuse the app to scan this coderead the article.
Tips: Please download CAJViewer to view CAJ format full text.
Download: 98 Page: 503-508 Pagecount: 6 Size: 206K
Citation Network
Related Literature
- Similar Article
- Reader Recommendation
- Associated Author