• Journal of the Korea Society of Computer and Information
• /
• v.12 no.3
• /
• pp.251-258
• /
• 2007

With the increase of a web service technology, a new access control mechanism has developed for XML documents. As a result, as legacy access control systems, access control systems has become an active research topic. In this paper, we propose a methodology to translate access control policies for XML documents into formal specification language CSP. To do this, first, we introduce a method to translate a hierarchical access to XML documents using XPath language into CSP process algebra. Second, we explain a method to represent a XML schema as a formal model like automata. Third, we present a method for representing the semantics of access control policies such as the scope of rules and confliction resolution into a process algebra language. Finally, a CSP specification example of an XML schema and path expressions aye shown to illustrate the validity of our approach.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06d
• /
• pp.76-78
• /
• 2006

Jakarta-Slide는 인터넷을 통하여 다양한 컨텐츠의 비동기적인 협업 저작을 지원하는 WebDAV 서버로 널리 사용되고 있다. Jakarta-Slide를 사용하여 개별 사용자가 원격지 자원에 접근하기 위해서는 등록된 개별 사용자에게 적절한 접근 권한이 부여되어야 한다. 하지만 현재의 Jakarta-slide에서는 이러한 사용자 관리를 시스템 관리자가 직접 수작업으로 처리하여야 하므로 관리 작업이 복잡하고 비효과적이다. 따라서 Tomcat 서버에서 사용자를 관리하는 Tomcat Admin 관리도구처럼 Jakarta-Slide의 사용자를 효과적으로 관리할 수 있는 사용자 관리도구가 지원되는 것이 바람직하다. 본 논문에서는 Jakarta-Slide의 사용자 관리도구 개발에 대하여 기술한다. Jakarta-Slide Admin 관리도구는 Tomcat Admin 관리도구를 확장하여 구현되었으며, 효과적인 사용자 관리 기능을 제공한다. 시스템 관리자는 개발된 관리도구를 이용하여 사용자를 생성, 삭제할 수 있으며 역할을 추가하여 사용자에게 적용함으로써 사용자에게 접근 권한을 부여할 수 있다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.307-310
• /
• 2003

웹서비스에 대한 높은 관심과 함께 그 실현이 점차 가시화되고 XML로 이루어진 지원 기술들의 전폭적인 지지로 잠재력은 더욱 확대되고 있다. 웹서비스는 기존 웹 기반의 디스플레이에 그쳤던 단순정보 교환을 애플리케이션 차원에서 데이터를 통신할 수 있어 개발 가능성이 무한한 프레임워크로 각광받고 있다. 그러나 현재 자원 관리에서의 효율성 문제가 드러나게 되었고 인증분야와의 접목에서도 한계를 드러내고 있다. XACML은 리소스에 대한 미세한 접근제어를 할 수 있는 XML기반의 언어이다. 접근하려는 리소스는 XML을 사용하여 표현되는 어떠한 객체도 될 수 있으며 XPath나 LDAP과 같은 프로토콜과 함께 바인딩하여 사용될 수도 있다. 보다 효율적인 접근 제어를 위하여 XACML 적용 모델을 연구하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1998.05a
• /
• pp.132-137
• /
• 1998

In this paper, conventional STM(Synchronous Transfer Mode) supports another traffics by using idle channels Proposed mobile terminals are distributed independently at the BSA(Basic Service Area). So, MAC(Medium Access Control) specified on the wireless ATM networks, which is managing statistics multiplexing functions, idle channel's utilization is maximized and multimedia service characteristic for conventional wired networks based fixed assignment scheme(connection-oriented) and random assignment scheme(connectionless) improving on dynamic reservation based MAC protocol.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.10 no.1
• /
• pp.65-75
• /
• 2000

역할 기반 접근 제어(RBAC: Role Based Access Control)는 각 시스템 자원의 안전성을 보장하기 위한 접근 제어 기술이다. 거대한 네트워크에서 보안 관리의 복잡성과 비용을 줄여주는 기능 때문에, 특히 상업적인 분야에서 더욱 큰 관심을 끌고 있다. 본 논문에서는 RBAC 역할 계층 구조 개념만을 사용할 경우의 취약점을 해결하기 위해 두 가지 연산을 제시하였다. 그리고 이를 통하여 사용자와 권한(pemission)을 간접적으로 연관시킴으로써, RBAC 관리자가 사용자마다 연산을 추가하거나 삭제할 수 있도록 하였고 직관적인 관리자 인터페이스를 제공하여 관리자가 쉽게 사용자 역할, 그리고 연산 사이의 관계를 파악할 수 있도록 하였다. 그리고 이를 기반으로 RBAC 시스템을 설계하고 대학의 종합정보 시스템을 모델로 구현하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.831-834
• /
• 2007

유비쿼터스 환경에 대한 관심이 높아짐에 따라 모바일에 관련된 하드웨어 개발은 물론 소프트웨어에 대한 관심도 마찬가지로 높아지고 있다. 소프트웨어에 대해 높아지고 있는 관심 중에서도 자원의 공유 혹은 접근에 대한 보안은 매우 중요한 이슈로 떠오르고 있다. 본 논문에서는 유비쿼터스 소프트웨어를 개발하기 위한 더 나은 프로그래밍 환경을 제공할 수 있는 정책 기술 언어로 작성된 정책 명세에 포함되는 권한의 제어를 위한 접근 제어 규칙(Access Control Rule)과 변화되는 상황을 감지하기 위한 상황 적응 규칙(Adaptation Rule)을 검사하여 규칙 사이의 안전성을 검사하기 위한 방법을 제시한다. 또한 규칙 사이의 안전성을 말하기 위해 사용되는 타입 시스템에 대해서도 설명한다.

• Computational Structural Engineering
• /
• v.5 no.3
• /
• pp.44-47
• /
• 1992

본 학술기사의 목적은 구조설계를 위한 강력하고도 유용한 도구로서의 최적화기법을 소개하는 것이고 현재의 기술현황을 보여주는 것이다. 최적화의 발전은 유한요소법과 컴퓨터기법 그리고 최적화알고리즘 및 소프트웨어의 동시적인 발전으로부터 이루어진다. 이렇게 됨으로써 사용자가 꼭 최적화 이론가가 될 필요성은 없어질 것이고 모든 공학자는 설계의 질과 생산성을 증진시키기 위해 최적화를 훌륭한 설계기술로서 이용할 수가 있게 될 것이다. 최적화를 위한 두가지 접근방안이 제안되었다. 하나는 최적화 과정중 직접적으로 사용되는 민감도 정보를 제공하기 위해 유한요소해석 프로그램을 수정하는 것이고, 다른 하나는 설계변수와 구조응답들로 구성된 목적함수, 제약조건으로된 최적화문제에 최적화기법을 연결하는 것이다. 가장 좋은 방법은 이 두 접근방법의 조합된 방법인 것 같지만 서로 모순된 것 같기 때문에 분명하지가 않다. 따라서 이 부분은 앞으로 주목을 받을 충분한 가치가 있는 내용이 될 것이다. 원료 부족에 대한 인식의 증대와 부존에너지자원의 빠른 고갈은 경량이면서 효율적이고 경제적인 구조물에 대한 욕구를 증폭시켰다. 따라서 오늘날의 유용하고, 거대한 계산능력을 고려한다면, 최적화기법을 사용하고자 하는 동기는 충분한 것이고 숙련된 공학설계자들에 의해 응용됨으로써 최적화는 경쟁적인 우위를 제공하는 강력한 도구가 될 수 있을 것이다.

• 한국신재생에너지학회:학술대회논문집
• /
• 2009.06a
• /
• pp.224-228
• /
• 2009

본 논문은 신재생에너지 적용 건축공학적 접근을 통한 Eco-Village의 쾌적한 환경을 실현하면서 에너지와 자원의 소비를 억제하고 환경에 대한 부하를 최소화하는 Village 개발을 목표로 하고 있다. 다시 말해서 건축공학적 접근을 통한 Eco-Village의 최종목표는 적극적인 에너지 절약 기술의 도입과 태양열, 태양광, 풍력, 바이오 에너지 등 자연에너지의 적용을 통해 지구온난화 가스를 배출하는 화석연료의 소비를 억제함과 동시에 자연친화적인 Eco-Village를 개발하는 것이다.

• Proceedings of the Korea Contents Association Conference
• /
• 2019.05a
• /
• pp.311-312
• /
• 2019

최근 기업의 클라우드 도입 확산으로 인해 정보자산이 분산됨에 따라 보호해야 하는 접점이 점차 증가 되고 있다. 또한, 모바일의 업무 활용 증가, 망 분리 및 내부 사설 클라우드의 도입 등 기업 내 변화된 IT 환경으로 인해 네트워크 구성이 더욱 더 복잡해지고 있으며, 이로 인해 보안 수준 유지가 어려워지고 있다. 특히, 클라우드 컴퓨팅에서는 보호해야 하는 자원이 기업 외부에 분산되어 있어 기존처럼 경계를 구축하는 것은 어려운 일이다. 본 논문에서는 CSA가 주도하는 SDP 표준화 동향 및 SDP의 구성요소와 동작 원리에 대한 연구를 진행하고, 핵심 기술인 SPA 및 Dynamic Firewall 기술을 활용하여 기존 접근통제 방식의 문제점을 개선하기 위한 방안을 제시하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.05a
• /
• pp.256-259
• /
• 2022

BaaS(Blockchain as a Service)는 블록체인의 사용이 어렵다는 단점을 유연한 자원운용이 가능하고 뛰어난 접근성의 특징을 가진 클라우드와 접목하여 쉽게 블록체인을 구축하고 사용할 수 있도록 해주는 클라우드 서비스이다. BaaS 의 등장으로 블록체인의 접근성은 큰 범위로 증가하였으며 다양한 도메인에 활용되고 있다. 하지만 클라우드 기반 서비스이기 때문에 클라우드 서비스의 문제점인 보안 이슈가 제기되었다. 본 논문에서는 BaaS 에 ZKP(Zero-Knowledge Proof)와 엣지 컴퓨팅 기술을 활용하여 보안성을 제공할 수 있는 새로운 BaaS 모델인 EBaaS 를 제안한다. EBaaS 는 엣지 컴퓨팅 기술을 적용하여 클라우드 서비스 공급업체에 대한 데이터 종속성을 제거하고 블록체인의 고가용성을 제공할 수 있으며 ZKP 를 활용하여 내부적으로 민감한 데이터에 대한 보안성도 제공할 수 있다.