由於行動裝置對雲端資源存取的需求,因此雲端計算和雲端儲存服務日益重要。雲端環境提供的外部儲存服務已經成為一個常見並且隨處可取用的使用者資料存取平台。然而,使用者終究無法如同本機內部硬碟般存取外部雲端儲存資料,以致外部儲存服務無法得到使用者的完全信任。對於前述安全性問題,目前有許多資料儲存證明協定(Provable-Data-Possession Protocol)被提出。本研究的協定基於橢圓曲線雙線性特點,發展雲端儲存的資料儲存證明協定。本研究改良現有研究的效能,減少驗證的計算成本。除探討一般的身份憑證,本研究率先提出以屬性憑證為基礎的雲端環境資料儲存證明協定。對於無憑證認證為基礎的雲端環境,提出新的資料儲存證明模型以改良現存研究中的資安漏洞。此外,並針對無憑證認證的雲端環境,整合雲端備份的架構,提出驗證儲存資料完整性的協定。整體而言,與其他資料儲存證明協定相較,本研究提供較低計算成本和高安全性。;Cloud computing and cloud storage are important developments because they can be accessed by mobile devices. The outsourced storage in cloud environment has become a stable, location-independent platform for managing user data. However, the outsourced data are not trustworthy because they cannot be accessed locally by users. To resolve the critical issue, many studies have proposed provable-data-possession (PDP) protocol to examine the integrity of outsource data in cloud environments securely and efficiently. This study developed secure PDP protocols based on the bilinear arithmetic of elliptic curves for cloud storage system. This study proposes efficient PDP protocols, which allow the verifier to examine data possession in cloud environments at a lower computational cost. In addition to discussing general certificate, this dissertation presents the first study for achieving authentication by attribute in the storage auditing protocol. For cloud environments without certificate, a new model is proposed to improve security breaches in existing research. In addition, this study provides the PDP protocol in cloud backup environment without certificate to ensure that all the outsourced copies are actually correct. Comparisons with other state-of-the-art schemes show that this study is more secure and efficient.