公开(公告)号：KR1020150028833A

公开(公告)日：2015-03-16

申请号：KR1020157002854

申请日：2013-07-09

Applicant: 알까뗄 루슨트

Inventor： 클레비로렌트 ,  베넬르벤자민 ,  토이나르드크리스챤 ,  브리포트제레미

IPC: G06F21/53 ,  G06F21/54 ,  G06F21/62

CPC classification number: H04L63/10 ,  G06F21/53 ,  G06F21/54 ,  G06F21/6218 ,  G06F2221/2113

Abstract: 본 발명은 강제적 액세스 제어 모듈(Instr_module)에 의해, 객체 지향 프로그램을 실행하도록 구성되고 강하게 유형화된 언어(strongly typed language)에 기초한 가상 머신(VM)에서 강제적 액세스 제어(MAC)를 보장하는 방법(100)에 관한 것으로, 방법은 액세스 정책(Acc_pol)으로 강제적 액세스 제어 모듈(Instr_module)을 구성하는 단계와, 변수 멤버에 대한 액세스 요청 또는 메소드 호출(Meth_entry)을 나타내는 이벤트 수신시에, 메소드(Meth)를 호출하거나 액세스를 요청하는 "호출자"(CalR)로 지칭되는 객체 및 메소드(Meth)에 의해 호출되거나 액세스가 요청되는 "피호출자"(CalE)로 지칭되는 객체에 호출자 및 피호출자의 언어 유형(Typ_CalR, Typ_CalE)에 따라 액세스 제어 라벨(LabE, LabR)을 추가하는 단계와, 액세스 제어 라벨(LabE, LabR), 호출자 및 피호출자의 인스턴스 번호(Inst_Num), 액세스 정책(Acc_pol) 및 액세스 허가에 따라, 변수 멤버에 대한 액세스 또는 메소드(Meth)의 실행을 차단하는 결정(Dec) -"부정적 결정"으로 지칭됨- 을 행하거나 가상 머신(VM)으로 하여금 변수 멤버에 대한 액세스 또는 메소드(Meth)를 실행하게 하는 결정(Dec) -"긍정적 결정"으로 지칭됨- 을 행하는 단계와, 대응하는 액세스 시도를 차단하거나 허가하기 위해 결정(Dec)을 가상 머신(VM)으로 송신하는 단계를 포함한다.

公开(公告)号：KR101665894B1

公开(公告)日：2016-10-24

申请号：KR1020157002854

申请日：2013-07-09

Applicant: 알까뗄 루슨트

Inventor： 클레비로렌트 ,  베넬르벤자민 ,  토이나르드크리스챤 ,  브리포트제레미

IPC: G06F21/53 ,  G06F21/54 ,  G06F21/62

CPC classification number: H04L63/10 ,  G06F21/53 ,  G06F21/54 ,  G06F21/6218 ,  G06F2221/2113

Abstract: 본발명은강제적액세스제어모듈(Instr_module)에의해, 객체지향프로그램을실행하도록구성되고강하게유형화된언어(strongly typed language)에기초한가상머신(VM)에서강제적액세스제어(MAC)를보장하는방법(100)에관한것으로, 방법은액세스정책(Acc_pol)으로강제적액세스제어모듈(Instr_module)을구성하는단계와, 변수멤버에대한액세스요청또는메소드호출(Meth_entry)을나타내는이벤트수신시에, 메소드(Meth)를호출하거나액세스를요청하는 "호출자"(CalR)로지칭되는객체및 메소드(Meth)에의해호출되거나액세스가요청되는 "피호출자"(CalE)로지칭되는객체에호출자및 피호출자의언어유형(Typ_CalR, Typ_CalE)에따라액세스제어라벨(LabE, LabR)을추가하는단계와, 액세스제어라벨(LabE, LabR), 호출자및 피호출자의인스턴스번호(Inst_Num), 액세스정책(Acc_pol) 및액세스허가에따라, 변수멤버에대한액세스또는메소드(Meth)의실행을차단하는결정(Dec) -"부정적결정"으로지칭됨- 을행하거나가상머신(VM)으로하여금변수멤버에대한액세스또는메소드(Meth)를실행하게하는결정(Dec) -"긍정적결정"으로지칭됨- 을행하는단계와, 대응하는액세스시도를차단하거나허가하기위해결정(Dec)을가상머신(VM)으로송신하는단계를포함한다.