맞춤기술찾기

이전대상기술

XML 기반의 접근 통제 모델의 정형 명세 방법, 그 장치및 이를 기록한 기록 매체

  • 기술번호 : KST2015131434
  • 담당센터 : 서울동부기술혁신센터
  • 전화번호 : 02-2155-3662
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 XML 기반의 접근 통제 모델의 정형 명세 방법, 그 장치 및 이를 기록한 기록 매체가 개시된다.본 발명에 따른 XML 기반의 접근 통제 모델의 정형 명세 방법은,계층적 트리 구조 형태로 구성된 XML 문서에 대하여 상기 XML 문서의 스키마 및 경로 지정 언어에 따른 사용자별 접근 통제 규칙을 이용하여 접근 통제 모델을 생성하는 단계; 상기 접근 통제 모델을 프로세스 알제브라 언어로 변환하여 상기 XML 문서의 특정 노드의 속성 이름을 대수값을 표현한 프로세스 알제브라 정형 모델을 생성하는 단계; 상기 XML 문서에 대하여 사용자의 쿼리가 발생하면, 상기 사용자의 쿼리를 프로세스 알제브라 언어로 변환하여 상기 접근 통제 모델에 대한 요구사항으로 명세하고, 상기 사용자에게 상기 프로세스 알제브라 정형 모델에 따라 상기 XML 문서에 대한 쿼리에 대응되는 정보를 전송하는 단계; 및 상기 프로세스 알제브라 정형 모델을 FDR 모델 체킹 도구를 이용하여 상기 XML 문서에 대한 보안 검증을 수행하는 단계를 포함한다.본 발명에 의하면, 국제 공통 평가 기준에서 정의한 고등급의 보안 제품 개발을 위해서 필요한 정형 명세 및 정형 검증에 요구에 맞추어 웹 서비스 환경에서 XML 문서의 비밀성을 보장하기 위해 사용되는 접근 통제 규칙을 계층적으로 정형 명세할 수 있고, 고등급의 XML 기반의 접근 통제 보안제품의 보안성 향상 및 인허가 획득에 기여하고, 국가 보안 기술력 및 보안 제품의 국제 경쟁력을 향상시킬 수 있는 효과가 있다.
Int. CL G06F 17/21 (2006.01) G06F 17/00 (2006.01) G06F 15/00 (2006.01)
CPC G06F 21/6209(2013.01) G06F 21/6209(2013.01) G06F 21/6209(2013.01)
출원번호/일자 1020070132657 (2007.12.17)
출원인 고려대학교 산학협력단
등록번호/일자 10-0888678-0000 (2009.03.06)
공개번호/일자
공고번호/일자 (20090313) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2007.12.17)
심사청구항수 15

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 고려대학교 산학협력단 대한민국 서울특별시 성북구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 최진영 대한민국 서울 성북구
2 김일곤 대한민국 서울 송파구
3 김현석 대한민국 서울 동대문구
4 이지연 대한민국 경기 수원시 장안구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 현종철 대한민국 서울특별시 중구 다산로 **, *층 특허법인충현 (신당동, 두지빌딩)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 최진영 서울특별시 노원구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application
2007.12.17 수리 (Accepted) 1-1-2007-0907359-93
2 출원인정보변경(경정)신고서
Notification of change of applicant's information
2008.03.05 수리 (Accepted) 4-1-2008-5034712-96
3 선행기술조사의뢰서
Request for Prior Art Search
2008.08.07 수리 (Accepted) 9-1-9999-9999999-89
4 선행기술조사보고서
Report of Prior Art Search
2008.09.11 수리 (Accepted) 9-1-2008-0058106-66
5 등록결정서
Decision to grant
2009.02.28 발송처리완료 (Completion of Transmission) 9-5-2009-0093140-02
6 출원인정보변경(경정)신고서
Notification of change of applicant's information
2009.06.09 수리 (Accepted) 4-1-2009-5111177-32
7 출원인정보변경(경정)신고서
Notification of change of applicant's information
2010.08.12 수리 (Accepted) 4-1-2010-5149278-93
8 출원인정보변경(경정)신고서
Notification of change of applicant's information
2014.02.11 수리 (Accepted) 4-1-2014-5018243-16
9 출원인정보변경(경정)신고서
Notification of change of applicant's information
2014.04.22 수리 (Accepted) 4-1-2014-5049934-62
10 출원인정보변경(경정)신고서
Notification of change of applicant's information
2019.10.10 수리 (Accepted) 4-1-2019-5210941-09
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
계층적 트리 구조 형태로 구성된 XML 문서에 대하여 상기 XML 문서의 스키마 및 경로 지정 언어에 따른 사용자별 접근 통제 규칙을 이용하여 접근 통제 모델을 생성하는 단계;상기 접근 통제 모델을 프로세스 알제브라 언어로 변환하여 상기 XML 문서의 특정 노드의 속성 이름을 대수값을 표현한 프로세스 알제브라 정형 모델을 생성하는 단계; 상기 XML 문서에 대하여 사용자의 쿼리가 발생하면, 상기 사용자의 쿼리를 프로세스 알제브라 언어로 변환하여 상기 접근 통제 모델에 대한 요구사항으로 명세하고, 상기 사용자에게 상기 프로세스 알제브라 정형 모델에 따라 상기 XML 문서에 대한 쿼리에 대응되는 정보를 전송하는 단계; 및상기 프로세스 알제브라 정형 모델을 FDR 모델 체킹 도구를 이용하여 상기 XML 문서에 대한 보안 검증을 수행하는 단계를 포함하는 XML 기반의 접근 통제 모델의 정형 명세 방법
2 2
제 1 항에 있어서,상기 경로 지정 언어는 XPath 경로 지정 언어를 포함하는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 방법
3 3
제 1 항에 있어서,상기 프로세스 알제브라 정형 모델을 생성하는 단계는상기 접근 통제 모델을 상기 경로 지정 언어를 이용하여 오토마타형 스키마 모델로 변환하는 단계;상기 오토마타형 스키마 모델을 프로세스 알제브라 언어로 정형 명세하여 스키마 정형 모델을 생성하는 단계; 및상기 스키마 정형 모델을 프로세스 알제브라 언어를 이용하여 프로세스 알제브라 정형 모델을 생성하는 단계를 포함하는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 방법
4 4
제 3 항에 있어서,상기 스키마 정형 모델 는 상기 XML 문서를 트리 구조를 가지는 복수 개의 노드로 분할하였을 경우, XML 트리의 루트 노드로 전이하기 위한 입력 알파벳 , 비 말단 노드 집합 , 전이 함수 , 상기 입력 알파벳의 초기 상태 와 상기 비 말단 노드 집합 으로 구성된 상태 집합 , 상기 XML 트리의 엘리번트 이름을 나타내는 입력 알파벳 및 속성 이름의 집합 를 포함하는 튜플 (, , , , , )로 구성되는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 방법
5 5
제 3 항에 있어서,상기 오토마타형 스키마 모델은 트리구조를 가지는 상기 XML 문서의 특정 노드의 속성 이름을 대수 표현으로 전환하여, 상기 대수 표현으로 전환된 속성값이 참일 경우에만 다음 하위 노드의 질의를 수행하도록 구성되는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 방법
6 6
제 1 항에 있어서,상기 사용자별 접근 통제 규칙은 상기 사용자에 대한 상기 XML 문서의 특정 정보에 대하여 허용 또는 거부로 명시되는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 방법
7 7
제 1 항에 있어서,상기 사용자별 접근 통제 규칙 중 특정 접근 통제 규칙에 있어서 충돌이 발생하는 경우, 허용 중복 또는 거부 중복 알고리즘에 따라 상기 사용자별 접근 통제 규칙이 결정되는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 방법
8 8
제 1 항 내지 제 7 항 중 어느 한 항의 방법을 컴퓨터에서 수행시킬 수 있도록 프로그램으로 기록된 기록매체
9 9
계층적 트리 구조 형태로 구성된 XML 문서에 대하여 상기 XML 문서의 스키마 및 경로 지정 언어에 따른 사용자별 접근 통제 규칙을 이용하여 접근 통제 모델을 생성하는 접근 통제 모델 생성부;상기 접근 통제 모델을 프로세스 알제브라 언어로 변환하여 상기 XML 문서의 특정 노드의 속성 이름을 대수값으로 표현한 프로세스 알제브라 정형 모델을 생성하는 프로세스 알제브라 정형 모델 생성부; 상기 XML 문서에 대하여 사용자의 쿼리가 발생하면, 상기 사용자의 쿼리를 프로세스 알제브라 언어로 변환하여 상기 접근 통제 모델에 대한 요구사항으로 명세하고, 상기 사용자에게 상기 프로세스 알제브라 정형 모델에 따라 상기 XML 문서에 대한 쿼리에 대응되는 정보를 전송하는 쿼리 변환부; 및상기 프로세스 알제브라 정형 모델을 FDR 모델 체킹 도구를 이용하여 상기 XML 문서에 대한 보안 검증을 수행하는 보안 검증부를 포함하는 XML 기반의 접근 통제 모델의 정형 명세 장치
10 10
제 9 항에 있어서,상기 경로 지정 언어는 XPath 경로 지정 언어를 포함하는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 장치
11 11
제 9 항에 있어서,상기 프로세스 알제브라 정형 모델 생성부는상기 접근 통제 모델을 상기 경로 지정 언어를 이용하여 오토마타형 스키마 모델로 변환하는 오토마타 스키마 모델 변환 모듈; 및상기 오토마타형 스키마 모델을 프로세스 알제브라 언어로 정형 명세하여 스키마 정형 모델을 생성하는 스키마 정형 모델 생성 모듈을 포함하며,상기 스키마 정형 모델에 프로세스 알제브라 언어를 적용하여 프로세스 알제브라 정형 모델을 생성하는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 장치
12 12
제 11 항에 있어서,상기 스키마 정형 모델 는 상기 XML 문서를 트리 구조를 가지는 복수 개의 노드로 분할하였을 경우, XML 트리의 루트 노드로 전이하기 위한 입력 알파벳 , 비 말단 노드 집합 , 전이 함수 , 상기 입력 알파벳의 초기 상태 와 상기 비 말단 노드 집합 으로 구성된 상태 집합 , 상기 XML 트리의 엘리번트 이름을 나타내는 입력 알파벳 및 속성 이름의 집합 를 포함하는 튜플 (, , , , , )로 구성되는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 장치
13 13
제 11 항에 있어서,상기 오토마타형 스키마 모델은 트리구조를 가지는 상기 XML 문서의 특정 노드의 속성 이름을 대수 표현으로 전환하여, 상기 대수 표현으로 전환된 속성값이 참일 경우에만 다음 하위 노드의 질의를 수행하도록 구성되는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 장치
14 14
제 9 항에 있어서,상기 사용자별 접근 통제 규칙은 상기 사용자에 대한 상기 XML 문서의 특정 정보에 대하여 허용 또는 거부로 명시되는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 장치
15 15
제 9 항에 있어서,상기 사용자별 접근 통제 규칙 중 특정 접근 통제 규칙에 있어서 충돌이 발생하는 경우, 허용 중복 또는 거부 중복 알고리즘에 따라 상기 사용자별 접근 통제 규칙이 결정되는 것을 특징으로 하는 XML 기반의 접근 통제 모델의 정형 명세 장치
지정국 정보가 없습니다
패밀리정보가 없습니다
국가 R&D 정보가 없습니다.