[發(fā)明專利]把不同源語(yǔ)言轉(zhuǎn)移到一個(gè)執(zhí)行介質(zhì)

無(wú)效

• 申請(qǐng)?zhí)枺?/td>: 00811225.8
• 申請(qǐng)日: 2000-06-02
• 公開(kāi)（公告）號(hào): CN1367895A
• 公開(kāi)（公告）日: 2002-09-04
• 發(fā)明（設(shè)計(jì)）人: G·格里毛德;J·－J·范德瓦勒
• 申請(qǐng)（專利權(quán)）人: 格姆普拉斯公司
• 主分類號(hào): G06F9/45
• 分類號(hào): G06F9/45
• 代理公司: 中國(guó)專利代理(香港)有限公司
• 代理人: 楊凱,陳霽

本公開(kāi)基于1999年6月4日提交的法國(guó)專利申請(qǐng)No.9907239，并由此請(qǐng)求優(yōu)先權(quán)，其內(nèi)容附此作參考。

技術(shù)領(lǐng)域

本發(fā)明涉及智能卡，亦稱微處理器卡，更一般地說(shuō)，涉及一種基于微處理器的可以裝入用先進(jìn)的編程語(yǔ)言編寫(xiě)的應(yīng)用程序的可編程開(kāi)放式數(shù)據(jù)處理裝置。更具體地說(shuō)，本發(fā)明針對(duì)這樣一個(gè)事實(shí)：這些不同的語(yǔ)言在本質(zhì)上是不同種類的，用一種特定的語(yǔ)言編寫(xiě)的應(yīng)用程序不允許由任何一種任意可編程數(shù)據(jù)處理裝置來(lái)執(zhí)行。

因而本發(fā)明還針對(duì)數(shù)據(jù)處理裝置的開(kāi)放性。本發(fā)明涉及為諸如java卡和其他智能卡操作系統(tǒng)等可編程數(shù)據(jù)處理裝置編寫(xiě)的應(yīng)用程序的互操作性。互操作性還附帶有安全方面的要求。

在可編程智能卡領(lǐng)域里，每一種用以編寫(xiě)準(zhǔn)備裝入一種卡中的應(yīng)用程序的編程源語(yǔ)言都是與特定的執(zhí)行介質(zhì)緊密聯(lián)系的，后者一般具軟件性質(zhì)，諸如虛擬機(jī)等，但還具有硬件性質(zhì)，例如微處理器等。

為了能夠把一個(gè)程序裝入智能卡，對(duì)用給定的源語(yǔ)言編寫(xiě)的程序加以編譯，然后裝入準(zhǔn)備接收用所述給定源語(yǔ)言編寫(xiě)的程序的智能卡。所述卡接收編譯后的程序并由專門(mén)用來(lái)執(zhí)行最初用所述給定源語(yǔ)言編寫(xiě)的程序的執(zhí)行介質(zhì)執(zhí)行。

如圖1所示，每一種智能卡Cn都含有各自的執(zhí)行介質(zhì)SEn，它不同于其他智能卡C1至CN中的那些執(zhí)行介質(zhì)SE1至SEN。1和N之間的整數(shù)n標(biāo)志若干種源語(yǔ)言LS1至LSN中預(yù)定的語(yǔ)言。每一個(gè)卡Cn，只有在它們是用各自的源語(yǔ)言LSn編程時(shí)，才可以執(zhí)行應(yīng)用程序Pn。在對(duì)準(zhǔn)備裝入的程序進(jìn)行編譯之前，程序經(jīng)過(guò)代碼校驗(yàn)，以便檢查準(zhǔn)備裝入的程序是否并未破壞與所述源語(yǔ)言LSn相關(guān)的執(zhí)行介質(zhì)SEn所提供的保密特點(diǎn)。

事實(shí)上，在這樣的一組卡中，在以下背景下用給定源語(yǔ)言開(kāi)發(fā)的程序Pn與目標(biāo)執(zhí)行介質(zhì)SEn緊密聯(lián)系：

1)由源語(yǔ)言LSn提供的數(shù)據(jù)結(jié)構(gòu)和操作是專門(mén)的，以便編譯出對(duì)源語(yǔ)言LSn專用的執(zhí)行介質(zhì)SEn而言在大小和速度上優(yōu)化的表達(dá)；

2)由源語(yǔ)言LSn提供的程序庫(kù)BPn一般與源語(yǔ)言相關(guān)，并針對(duì)專用于所述源語(yǔ)言的執(zhí)行介質(zhì)進(jìn)行了優(yōu)化；而且

3)程序Pn在其裝入卡Cn之前的校驗(yàn)與由所述目標(biāo)執(zhí)行介質(zhì)Sen提供的保密特點(diǎn)緊密聯(lián)系。

源語(yǔ)言LSn與其執(zhí)行介質(zhì)Sen之間的這種緊密聯(lián)系表現(xiàn)在校驗(yàn)、編譯和裝入鏈CVCCn上。這個(gè)鏈管理著用高級(jí)源語(yǔ)言編寫(xiě)的程序Pn向準(zhǔn)備好由專用于源語(yǔ)言LSn的執(zhí)行介質(zhì)SEn有效執(zhí)行的緊湊形式的變換。

本發(fā)明的一般的核心問(wèn)題是用不同源語(yǔ)言LS1至LSN中任何一種編寫(xiě)的程序與不同執(zhí)行介質(zhì)SE1至SEM的鏈接，M是任何一個(gè)等于或不同于整數(shù)N的整數(shù)。這個(gè)一般問(wèn)題可以分解為以下3個(gè)子問(wèn)題：

按照第一個(gè)子問(wèn)題SP1，例如，最好讓用源語(yǔ)言LSn編寫(xiě)的程序P運(yùn)行在專用于給定源語(yǔ)言LSm的執(zhí)行介質(zhì)SEm上，下標(biāo)m在1與M之間。

第二個(gè)子問(wèn)題SP2是把各自以不同的源語(yǔ)言LS1至LSN編寫(xiě)的程序P1至PN裝入能夠?yàn)檫@些不同的程序提供就存儲(chǔ)器大小、執(zhí)行速度、它們的程序庫(kù)BP1至BPM及其保密特點(diǎn)而言是有效的環(huán)境的通用的執(zhí)行介質(zhì)SEm中。

第三個(gè)子問(wèn)題SP3旨在讓各自以不同的源語(yǔ)言LS1至LSN編寫(xiě)的不同的程序P1至PN在通用的執(zhí)行介質(zhì)SEm中共存。對(duì)于第三個(gè)子問(wèn)題，必須處理源于不同編程環(huán)境并放入同一個(gè)物理介質(zhì)中的程序P1至PN的安全性。

這三個(gè)子問(wèn)題SP1，SP2和SP3合起來(lái)要，例如在保持安全和保護(hù)、交互機(jī)制的情況下解決為可編程智能卡編寫(xiě)的不同應(yīng)用程序的互操作性，為了解決這三個(gè)子問(wèn)題SP1，SP2和SP3，本專業(yè)的技術(shù)人員面臨以下三種類型的解決方案，但是它們都不是完全令人滿意的。

第一種解決方案，最簡(jiǎn)單的，也是最常用的，正如圖2中用編寫(xiě)操作W1和WM所指示的，是把以專用于安裝在智能卡Cn中的執(zhí)行介質(zhì)SEn的源語(yǔ)言LSn編寫(xiě)的程序Pn重寫(xiě)為分別以專用于安裝在智能卡C1至CM中的執(zhí)行介質(zhì)SE1至SEM的源語(yǔ)言LS1至LSM編寫(xiě)的程序Pn1和PnM。

第一種解決方案主要缺點(diǎn)是對(duì)程序員而言繁重而又煩悶的手工任務(wù)，把程序Pn的算法重寫(xiě)為程序Pn1，PnM，它必須適應(yīng)新的源語(yǔ)言LS1，LSM的數(shù)據(jù)結(jié)構(gòu)和程序庫(kù)BP1，BPM。另外，每一種新的執(zhí)行介質(zhì)SE1，SEM所提供的安全機(jī)制要求對(duì)重寫(xiě)的程序Pn1，PnM的代碼重新進(jìn)行考證。