Java卡的安全性體現在以下幾個方面:
編譯時間檢查:Java是一種類型嚴格的語言,其編輯器進行著廣泛且嚴密的編譯時間檢查,以便盡可能多地發現錯誤。
類文件的證實和子集檢查:在Java環境中,所有裝載的類文件都被一個驗證器檢查。
CAP文件和輸出文件驗證:一個Applet的類組成了一個或多個包,轉換器將所有類集中于一個包,并將它們轉換為一個CAP文件,同時轉換器還產生了一個出口文件。由于有限的內存空間和計算能力,智能片上的CAP文件驗證器需要在片外運行,一個CAP文件被裝載在Java智能卡之前,驗證器對它進行了靜態檢查。輸出文件驗證即檢查輸出文件內部、相應的CAP文件以確保具有正確格式,并滿足由Java卡虛擬機的限制原則。
安裝檢查:安裝安全包括兩方面:一方面是由安裝器和JCRE標準的安全保證,另一方面是由發行者提供的安全策略。
使用密碼加強信任鏈:任何Java卡文件(源代碼、類文件、CAP文件或輸出文件)都能被加密,在從開發到卡上安裝的過程中,為保證安全性,文件可以被數字簽名以保證完整性并證明提供者的身份。
密碼支持:加密機制在Java卡Applet和系統軟件中被使用,卡加密APIs為這些機制的靈活應用提供了可能,用戶可以根據需要自由選擇加密算法、密鑰大小等。
回答所涉及的環境:聯想天逸510S、Windows 10。
Java卡的安全性體現在以下幾個方面:
編譯時間檢查:Java是一種類型嚴格的語言,其編輯器進行著廣泛且嚴密的編譯時間檢查,以便盡可能多地發現錯誤。
類文件的證實和子集檢查:在Java環境中,所有裝載的類文件都被一個驗證器檢查。
CAP文件和輸出文件驗證:一個Applet的類組成了一個或多個包,轉換器將所有類集中于一個包,并將它們轉換為一個CAP文件,同時轉換器還產生了一個出口文件。由于有限的內存空間和計算能力,智能片上的CAP文件驗證器需要在片外運行,一個CAP文件被裝載在Java智能卡之前,驗證器對它進行了靜態檢查。輸出文件驗證即檢查輸出文件內部、相應的CAP文件以確保具有正確格式,并滿足由Java卡虛擬機的限制原則。
安裝檢查:安裝安全包括兩方面:一方面是由安裝器和JCRE標準的安全保證,另一方面是由發行者提供的安全策略。
使用密碼加強信任鏈:任何Java卡文件(源代碼、類文件、CAP文件或輸出文件)都能被加密,在從開發到卡上安裝的過程中,為保證安全性,文件可以被數字簽名以保證完整性并證明提供者的身份。
密碼支持:加密機制在Java卡Applet和系統軟件中被使用,卡加密APIs為這些機制的靈活應用提供了可能,用戶可以根據需要自由選擇加密算法、密鑰大小等。
回答所涉及的環境:聯想天逸510S、Windows 10。