Abstract:
본 발명은 인터넷 상에서 소액 지불을 가능하게 하는 소액 전자 지불 기반 온라인 서비스 방법에 관한 것으로서, 소액 전자 지불 기반 온라인 서비스를 사용하는 사용자를 등록하고, 해쉬 함수를 이용하여 전자 화폐를 발행하며, 서비스 이용에 따른 대금 지불을 저렴하게 수행하는 소액 전자 지불 기반 온라인 서비스 방법을 제공하여, 인터넷 상점과 연계하여 서비스를 제공하는 경우의 전자 화폐 발행 및 서비스 이용을 위해 해쉬 함수만으로 저렴하면서도 안전하게 전자 화폐를 전송하여, 광고주나 설문에 의한 여론 조사를 하는 경우 광고를 읽는 사람이나 설문에 대답하는 사람에게 전자 상거래 응용 분야에서 사용할 수 있는 전자 화폐를 발행하거나 일정 금액이 되는 경우 실세계의 현금으로 환전하여 줌으로써, 광고를 보는 것을 촉진시키고, 설문 지 응답자 수를 증가시키며, 발행된 전자 화폐를 전자 상거래 서비스 이용으로 유도할 수 있는 효과가 있다.
Abstract:
본 발명은 인터넷 상에서 소액 지불을 가능하게 하는 소액 전자 지불 기반 온라인 서비스 방법에 관한 것으로서, 소액 전자 지불 기반 온라인 서비스를 사용하는 사용자를 등록하고, 해쉬 함수를 이용하여 전자 화폐를 발행하며, 서비스 이용에 따른 대금 지불을 저렴하게 수행하는 소액 전자 지불 기반 온라인 서비스 방법을 제공하여, 인터넷 상점과 연계하여 서비스를 제공하는 경우의 전자 화폐 발행 및 서비스 이용을 위해 해쉬 함수만으로 저렴하면서도 안전하게 전자 화폐를 전송하여, 광고주나 설문에 의한 여론 조사를 하는 경우 광고를 읽는 사람이나 설문에 대답하는 사람에게 전자 상거래 응용 분야에서 사용할 수 있는 전자 화폐를 발행하거나 일정 금액이 되는 경우 실세계의 현금으로 환전하여 줌으로써, 광고를 보는 것을 촉진시키고, 설문 지 응답자 수를 증가시키며, 발행된 전자 화폐를 전자 상거래 서비스 이용으로 유도할 수 있는 효과가 있다.
Abstract:
본 발명은 안전한 웹 서비스를 위한 공유 정보의 교환 및 관리 방법에 관한 것으로서, 사용자가 웹 브라우저에게 웹 문서를 요청하는 웹 문서 요청 단계(s301)와, 상기 웹 브라우저가 S-HTTP 메시지 처리기를 통해 웹서버에게 웹 문서를 요청하면 상기 웹서버가 응답 메시지를 전송하는 단계(s302)와, SHTML 메시지 처리기에서 SHTML 파싱 기능을 수행하는 단계(s303)와, SHTML 메시지 처리기가 웹 문서를 통해 제공되는 정보를 저장하는 단계(s304)와, SHTML 메시지 처리기가 S-HTTP 프로토콜 지시자를 인식하는 단계(s305)와, URL에 따른 협상 정보를 인식하는 단계(s306)와, S-HTTP 요청 및 응답 메시지를 구성하고 전송하는 단계(s307)와, 웹 서버상의 문서를 저장하고, SHTML 파싱을 수행하는 단계(s308)와, 웹 브라우저가 웹 문서의 브라우징 단계(s309)로 구성되어, 인터넷 상에서 웹 � ��랫폼을 기반으로 전자상거래와 같은 응용 서비스를 제공하고자 할 때 효과적으로 시스템을 구성하고 수행할 수 있으며, 특히, 암호화 알고리즘을 위해 필히 사용되어야 할 키 값의 교환 및 공유 방식과 공유키의 저장 형식을 제시함으로써 보안의 안전성을 높일 수 있다는 장점이 있다.
Abstract:
본 발명은 관찰중심적으로 정의된 이에프에스엠(EFSM)모델을 기반으로 데이타가 고려된 시험열 자동생성 방법에 관한 것으로서, 다중 모듈 EFSM 모델인 프로토콜 명세(스펙)를 단일 모듈 EFSM 모델로 변환된 후 시험 케이스를 자동생성하기 위해 데이터 부분을 관찰중심적으로 관점에서 재정의하여 새로운 EFSM모델로 변환하는 제2과정과, EFSM 모델에 대해 "top-down search"를 수행하는 제3과정과, all-du-paths 범주에 상응하는 데이터 부분에 대한 경로를 선택하는 제4과정과, 경로에 대해 각 상태와 이전 시험열에 대한 정보의 저장을 통해 루프처리 방법으로 경로의 길이를 최소화하는 제5과정과, 실행 가능한 경로가 되도록 입력안의 매개변수 값을 선택해주고 출력매개변수 값을 구하는 제6과정과, 데이타 부분 시험경로를 통해 포함되지 않은 제어 부분을 시험하 경로를 구하는 제7과정으로 이루어진 것을 특징으로 한다.
Abstract:
본 발명은 프로토콜의 적합성 시험을 수행하는데 있어서 시험자가 원하는 프로토콜의 부분 즉, 시험 목적을 형식적으로 표현하는 방법에 관한 것이다. 본 발명은 프로토콜의 행위를 표현하기 위한 유한 상태 기계의 노드인 지드(GID: Global Instantaneous Description)를 구성하고 있는 정보 중에서 시험 목적으로 이용될 수 있는 정보로 구성된 지드 테이블을 작성하는 제1단계; 상기 지드 테이블의 열을 이용해서 시험 목적을 표현하는 제2단계 및 상기 지드 테이블열을 유한 상태 기계에 적용시켜서 시험 목적이 반영된 유한 상태 기계를 추출하는 제3단계(S3)로 수행되는 것을 특징으로 하여, 시험 케이스의 생성을 자동화할 수 있기 때문에 효율적인 시험 케이스를 만들어 낼 수 있는 효과가 있다.