• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 춘계학술발표대회
• /
• pp.442-444
• /
• 2015

정보통신기술의 발전으로 컴퓨터에 대한 의존도가 높아지고 있다. 이런 높은 의존도는 곧 사이버 보안적인 측면에서 문제가 생길 경우 국가적으로 큰 혼란이 발생한다는 것을 국내에서 발생한 사고들을 통해 알 수 있다. 이에 대응하기 위해 많은 보안 솔루션들이 존재함에도 불구하고 보안 사고들이 지속적으로 발생하고 있는 것은 특정 기능에 국한되어 중복과 취약점이 존재하고 있기 때문이다. 이러한 정보보호 환경의 한계를 극복하고자 새로운 개념의 SDN을 활용한 검역 시스템을 제안되었으며, 본 논문에서는 SDN을 활용한 검역 시스템 내에서 적용할 로그 분석 시스템을 제안한다.

• 대한약학회:학술대회논문집
• /
• 대한약학회 2003년도 Proceedings of the Convention of the Pharmaceutical Society of Korea Vol.2-1
• /
• pp.85-87
• /
• 2003

$\beta$-Lactams are historically and clinically representative antibiotics used for therapeutic purposes. In early days, penicillin (penam antibiotic) and cephalosporin (cephem antibiotic) were found in culture broth of two different filamentous fungi, Penicillium chrysogenum and Acremonium chrysogenum. Since 1970, a variety of $\beta$-lactam structures have been discovered from bacterial cultures including Streptomyces species, which are known as cephamycin, cephabacin (cephem antibiotics), clavulanic acid (oxopenam antibiotic), thienamycin (carbapenem antibiotic), and sulfazecin (monobactam antibiotic). (omitted)

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.223-226
• /
• 2012

스마트폰과 같은 모바일 단말은 모바일 클라우드의 서비스를 받기 위해 모바일 가상머신에 원격접속 할 수 있는 기술이 필요하다. 원격접속 표준 프로토콜은 프레임 버퍼 방식의 Remote Frame Buffer(RFB) 프로토콜과 메시지 전송방식의 Remote Desktop Protocol(RDP)로 나뉜다. SPICE 프로토콜은 RDP 프로토콜 기반의 오픈소스 원격접속 프로토콜이다. SPICE 프로토콜은 가상머신에 원격접속 할 수 있지만 모바일 환경을 지원하지 않는다. 따라서 SPICE 프로토콜을 모바일 환경에서 사용하려면 포팅 작업이 필요하다. 본 논문은 리눅스용 SPICE 클라이언트 모듈을 안드로이드 환경에 맞도록 포팅하는 방법을 소개하고자 한다. 또한 포팅시 발생하는 문제점과 이를 해결하는 방법 몇 가지를 함께 소개한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.706-709
• /
• 2012

최근 발생한 사이버 범죄 경위를 살펴보면 범죄 목적이 분명하고 이를 달성하기 위한 수단이 치밀하여 비교적 높은 보안 수준을 가진 기업이라도 사이버 범죄 행위에 노출되어 피해를 입는 사례가 빈번히 발생하고 있다. 특히 기업환경에서 업무 효율을 높이기 위해 전자결재나 스마트워크 등을 도입하여 업무의 많은 부분이 컴퓨팅 장치에 의존적이 되면서 사이버 범죄에 대한 위협이 늘어나고 있다. 본 논문에서는 악성코드 또는 이를 이용한 악성행위로부터 기업 환경을 보호하기 위한 보안 시스템의 이상적인 요구사항에 대해 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.103-106
• /
• 2012

클라우드 컴퓨팅 기술이 컴퓨팅 자원의 사용 방식에 대한 새로운 패러다임을 이끌어가고 있는 가운데 이미 PC 가상화를 통한 클라우드 서비스가 선을 보이고 있다. 또한 스마트 디바이스 이용이 급증함에 따라 모바일 클라우드 서비스에도 관심이 집중되고 있으며 기존의 클라우드 서비스를 스마트 디바이스에서도 사용하는 형태의 서비스가 이미 출시되고 있다. 하지만 진정한 의미의 모바일 클라우드를 위해서는 스마트 디바이스 자원 가상화를 통한 클라우드 자원 활용의 극대화가 이루어져야 한다. 본 논문에서는 클라우드 내 가상 단말에 접속하여 서비스를 받을 수 있는 실질적인 모바일 클라우드 서비스 구현을 위한 모바일 클라우드 아키텍처를 소개하고 이의 구성요소 중 하나인 모바일 클라우드 서비스 커넥터의 설계 방안을 제시하였다. 설계 시 주요 고려사항은 제한된 모바일 네트워크 환경에서 실시간 서비스를 제공하면서 보안을 강화하는 것이며 이에 대한 연구는 모바일 클라우드가 실질적인 서비스로서 자리매김하는데 필수적인 요소라 확신한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1430-1431
• /
• 2012

토지보상관련 법을 관장하고 있는 국토해양부는 "국토기본법" 제24조의 규정에 따라 용지보상 등을 포함한 국토의 계획 및 이용의 주요시책에 관한 보고서를 매년 정기국회의 개회전까지 국회에 제출하여야 한다. 이 보고서에는 국가보상에 관한 주요통계자료가 포함되는데 이러한 공공용지의 취득 및 손실보상 실적은 보상관련 정책의 수립과 제도개선 및 부동산정책 등에 중요한 기초 자료로 활용되고 있다. 하지만 90여개 기관을 대상으로 9개 양식을 수작업으로 취합하다 보니 시간소요 및 통계오류 등이 발생할 소지가 있어 국가통계의 신뢰도가 저하될 소지가 있다. 이에 정확한 보상통계자료 제공 및 업무의 효율성 제고를 위해 공공용지 취득실적 집계 자동화방안을 제시하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.997-1000
• /
• 2004

Boolean Satisfiability (SAT)는 전산학의 중요한 문제로서 SAT problem을 풀기 위한 많은 알고리즘과 도구들이 제안되어 왔다. 특히, 지난 몇 년 간 많은 발전을 이루어왔고, 하드웨어 검증과 모델 체킹 등의 분야에서 많이 적용되어 왔다. 여러 문제들을 Conjunctive Normal Form (CNF)로 표현하여 CNF의 특성을 이용하여 SAT 알고리즘이 발전되어 왔다. 그런데, 회로를 CNF로 표현할 때 몇 가지 문제점이 발생하는데 특히 CNF는 회로의 structural information 을 잃어버린다는 것이 큰 문제점이다. 이를 보완하기 위하여 회로의 structural information을 이용하기 위한 많은 연구가 진행되어 왔다. 이러한 대부분의 연구는 회로의 정보를 가지고 있다는 경우에 한정된다. 그러나, 하드웨어 검증에서 회로의 정보 없이 검증해야 하는 경우들도 발생한다. 이 논문은 회로의 정보를 가지고 있지 않을 때 CNF 만으로 회로의 structural information을 추론하는 방법을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 춘계학술발표대회
• /
• pp.789-791
• /
• 2013

보상업무를 수행하는 기관에서 정기 또는 비정기적으로 발생하는 각종 보고나 통계에 활용되는 자료들을 쉽게 작성하고 이러한 자료를 단순 보고자료에서 의사결정 자료로 확장시켜 스마트 워크에 활용하기 위해 시각적인 효과를 극대화시킨 대시보드 기반의 보상통계시스템 구축사례를 제시하였다. 이를 위해 국토해양부, 감사원, 국회 등에 제출하는 다양한 보고자료들을 분석하여 통계항목을 구성하였고 대용량 데이터를 신속하게 조회하기 위해 모델마트를 활용하였으며 플래시 기반의 비쥬얼 박스 등을 활용하여 시각적이며 직관적인 통계화면을 구성하였다. 또한, 기능구성시 관리자와 보상담당자가 활용하는 화면을 별도로 구성하여 맞춤형 서비스를 제공하였고 플래시 기반의 지도를 활용하여 화면상의 데이터가 상호 연동이 가능하도록 구성하였다.

• 대한약학회:학술대회논문집
• /
• 대한약학회 2003년도 Proceedings of the Convention of the Pharmaceutical Society of Korea Vol.1
• /
• pp.226.1-226.1
• /
• 2003

Pancreatic lipase-inhibitory activity of the rhizome of Alpinia officinarum (AO) and its antihyperlipidemic activity were measured. When water extract of AO was stepwise fractionated with organic solvents, ethylacetate fraction exhibited the most potent inhibition. From it, Diarylheptanoid was isolated as an inhibitor of pancreatic lipase and we investigated its in vitro inhibitory effect of lipase activity and in vivo antihyperlipidemic effect. (omitted)

• 대한약학회:학술대회논문집
• /
• 대한약학회 2003년도 Proceedings of the Convention of the Pharmaceutical Society of Korea Vol.2-2
• /
• pp.160.1-160.1
• /
• 2003

In order to confirm the biological function of ORF10 in cephabacin biosynthesis gene cluster of Lysobacter lactamgenus as an ATP-binding-cassette (ABC) transporter, the gene for ORF10 was amplified and subcloned into pET-28a(+) expression vector. After gene induction with 0.5 mM IPTG at 30~! and further cultivation at $30^~$ !. for 8 hr, a lot of the recombinant ORF10 protein was produced as soluble form in cytoplasmic fraction as well as a membrane protein in the membrane fraction as likely as other ABC transporters. (omitted)