• Title/Summary/Keyword: 타입보안

Search Result 145, Processing Time 0.026 seconds

SCM system design and implementation on Web Services base (웹서비스기반의 공급망관리시스템 설계 및 구현)

  • Kim, Yong-Yeol;Kim, Tae-Hoon;Lim, Keun
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2008.06a
    • /
    • pp.285-289
    • /
    • 2008
  • 본 연구는 급격한 인터넷 환경의 발전으로 인하여 치열한 경쟁 환경 속에서 공급망 관리(SCM)와 고객 관계 관리(CRM)를 적용한 물류관리 시스템과 온라인 판매 시스템을 효과적으로 통합하여 웹2.0(플렉스)기반 시스템으로 구현하여 다른 어플리케이션과의 UI와 성능, 보안성, 실시간처리 및 시스템에 차별화하여 중점을 두고 프로토타입으로 구현해보았다.

  • PDF

Avoiding Security Analysis Inaccuracy of SLam Calculus after CPS Transform (CPS 변환 후에도 함수형 SLam 언어의 안전성 정확하게 분석하기)

  • 장성순;이광근
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.04a
    • /
    • pp.76-78
    • /
    • 2001
  • Secure Lambda calculus(SLam)는 정보 보안을 보장해주는 언어이나, Continuation Passing Style(CPS) 변환 후에는 안전성 분석의 정확도가 떨어진다. CPS의 논리적인 성질(ordered linearity)을 반영하여 변환 후에도 정확도가 떨어지지 않는 타입 시스템을 고안하고 무간섭성을 증명하였다. 함수형 SLam 언어에서 정확도가 떨어지는 경우는 앞으로 계산할 값의 인자가 쓰이지 않는 경우임을 밝혀내었다.

Implementation of Healthcare Application Service in Mobile Collaboration Environment (모바일 협업 환경하에서 헬스케어 응용 서비스의 구현)

  • Kim Dong-Suk;Jeong Chang-Won;Joo Su-Chong
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.06d
    • /
    • pp.88-90
    • /
    • 2006
  • 본 논문에서는 다수의 모바일 장치가 협업을 할 수 있는 환경을 제안하고, 이를 기반으로 헬스케어 응용 서비스에 적용함을 보였다. 제안한 협업 환경은 센서와 모바일 장치, 모바일 장치와 모바일 장치, 모바일 장치와 홈 서버의 상호작용을 3가지 타입으로 정의 하였다. 또한 이들간의 정보 교환은 Push와 Pull방식으로 구분하였으며, 다수의 센서로부터 수집된 정보는 보안 정책에 따라 모바일 장치간 정보를 교환하거나 홈 서버에게 전달한다. 보안 정책은 개인 의료 처방과 예방을 위한 개인 정보와 주변 환경에 관련된 공개 정보로 나누어 관리하여 협업 환경에 적용하였다. 이는 개인 사용자마다 상이한 서비스를 제공하는데 기반이 된다. 이를 위한 구현 기술로는 적시성을 보장하는 TMO 스킴을 이용하여 컴포넌트를 설계 및 구현하였으며, 이들간의 상호작용은 TMOSM을 사용하였다.

  • PDF

Prototype Design of Hornet Cloud using Virtual Honeypot Technique (가상 허니팟 기술의 호넷 클라우드의 프로타입 설계)

  • Cha, Byung-Rae;Park, Sun;Kim, Jong-Won
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.10 no.8
    • /
    • pp.891-900
    • /
    • 2015
  • Cloud Computing has recently begun to emerge as a new attack target. The malice DDoS attacks are ongoing to delay and disturb the various services of the Cloud Computing. In this paper, we propose the Hornet-Cloud using security Honeypot technique and resources of Cloud Computing, and design the concept of active-interaction and security functions of Hornet-Cloud simply.

Design and Implementation for Integrated Development Environment Interface Based on RAPID (RAPID 기반의 통합개발환경 인터페이스 설계 및 구현)

  • Lee, Jeong-Bae;Seo, Il-Soo
    • Convergence Security Journal
    • /
    • v.9 no.2
    • /
    • pp.59-69
    • /
    • 2009
  • In this paper, Integrated development environments interface was designed and implemented for the integrated development environments. By using connection interface, Integration between physical prototyping and virtual prototyping which has different characteristics each other could be possible. Specially, good performance of the connection interface was showed by testing result of operation implemented.

  • PDF

A Correlation Power Analysis Attack on Block Cipher (블록암호에 대한 상관관계 전력분석 공격)

  • An, Hyo-Sik;Shin, Kyung-Wook
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2016.05a
    • /
    • pp.163-165
    • /
    • 2016
  • AES-128 블록 암호에 대해 상관관계 전력분석 공격을 통해 비밀키를 추출할 수 있는 보안공격 시스템의 프로토타입을 개발했다. Verilog HDL로 모델링된 AES-128 암호 코어의 RTL 시뮬레이션을 통해 switching activity 정보를 추출하고, 이를 PowerArtist 툴을 이용하여 순시 전력을 도출하였다. 추출된 순시 전력으로부터 출력 레지스터의 hamming Weight 모델링과 상관관계 분석을 통해 128 비트의 비밀키 중 일부를 획득하는 보안공격 시스템을 개발하였다.

  • PDF

Implementation of Smart-Safe System based on IoT (IoT 기반의 스마트 금고 시스템 구현)

  • Lee, Do-Kyung;Lee, Jae-Won;Jang, Su-ho;Han, Yunsung;Seo, Dongmahn
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2021.11a
    • /
    • pp.167-169
    • /
    • 2021
  • 본 논문에서는 아두이노와 라즈베리 파이를 기반으로 연동한 스마트 금고 시스템을 제안한다. 기존의 금고와 달리 보안성과 편리성의 취약점을 해결하도록 했다. 아두이노와 라즈베리 파이 기반의 다양한 센서를 이용해 스마트 금고의 보안성과 편리성을 높이도록 제안한다. 구현을 위해 지문인식 센서, RFID 센서, 키 패드, GPS, 충격감지 센서, 파이 카메라, PIR 센서를 사용한다. 또한, 스마트 금고 상태와 조작을 할 수 있는 어플리케이션을 제작해 편리성을 높이도록 했다. 금고 프로토 타입의 외부 재질은 3D 프린팅을 이용하여 제작을 했다.

An Access Control Method considering Semantic Context for Privacy-preserving (개인정보 보호를 위한 의미적 상황을 반영하는 접근제어 방식)

  • Kang, Woo-Jun
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.15 no.1
    • /
    • pp.1-14
    • /
    • 2015
  • To conform to new emerging computing paradigm, various researches and challenges are being done. New information technologies make easy to access and acquire information in various ways. In other side, however, it also makes illegal access more powerful and various threat to system security. In this paper, we suggest a new extended access control method that make it possible to conform to security policies enforcement even with discrepancy between policy based constraints rules and query based constraints rules, based on their semantic information. New method is to derive security policy rules using context tree structure and to control the exceed granting of privileges through the degree of the semantic discrepancy. In addition, we illustrate prototype system architecture and make performance comparison with existing access control methods.

Privacy Control Using GRBAC In An Extended Role-Based Access Control Model (확장된 역할기반 접근제어 모델에서 GRBAC을 이용한 프라이버시 제어)

  • Park Chong hwa;Kim Ji hong;Kim Dong kyoo
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.30 no.3C
    • /
    • pp.167-175
    • /
    • 2005
  • Privacy enforcement has been one of the most important problems in IT area. Privacy protection can be achieved by enforcing privacy policies within an organization's online and offline data processing systems. Traditional security models are more or less inappropriate for enforcing basic privacy requirements, such as purpose binding. This paper proposes a new approach in which a privacy control model is derived from integration of an existing security model. To this, we use an extended role-based access control model for existing security mechanism, in which this model provides context-based access control by combining RBAC and domain-type enforcement. For implementation of privacy control model we use GRBAC(Generalized Role-Based Access Control), which is expressive enough to deal with privacy preference. And small hospital model is considered for application of this model.

Implementation of Smart Door-Lock System based on Aduino & Raspberry Pi (아두이노와 라즈베리 파이 기반의 스마트 도어록 시스템 구현)

  • Kim, Changjoon;Moon, Sunye;Kim, Sujeong;Park, Sooyang;Han, Jinju;Lee, Hoyoung;Yoon, Youngha;Jeong, Dongwon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2017.04a
    • /
    • pp.1157-1159
    • /
    • 2017
  • 이 논문은 보안성과 성능이 향상된 새로운 스마트 도어록 시스템을 제안한다. 기존의 1세대 도어록은 보안성이 취약하다는 단점을 지닌다. 이를 해결하기 위해 NFC 기반 시스템이 제안되었으나 취약한 보안 문제를 완벽히 해결하지 못한다. 이 논문에서는 아두이노, 라즈베리 파이 및 다양한 센서를 이용한 스마트 도어록 시스템을 제안한다. 제안 시스템 구현을 위해 초음파센서, 라즈베리 파이 카메라, 부저, 서보모터를 이용한다. 또한 3D프린팅을 이용하여 제작한 프로토타입을 보인다.