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

시스템의 안전성을 평가하기 위해 안전성 문제 해결 도구인 SPR［1］을 이용하여 보안 모델을 프롤로그 기반의 명세 언어인 SPSL로 기술하여 안전성을 검증한다. 보안 모델은 시스템의 3가지 컴포넌트, 시스템 보안 상태(system security states), 접근 통제 규칙(access control rules), 그리고 보안 기준(security criteria)으로 구성된다. 본 논문에서는 보안 모델의 보안 기준에 NTFS의 다중 사용 권한을 적용하여 명세하고 안전성 문제 해결방법을 제시하고자 한다.

• The tire
• /
• s.119
• /
• pp.26-32
• /
• 1985

타이어의 안전기준에 관한 문제는 역시 자동차의 선진국이면서 또 소비자운동에서도 선구자인 미국에서 제일 먼저 큰 사회문제로 대두되었다. 그래서 미국에서는 곧 미국연방자동차안전기준(FMVSS :Federal Motor Vechicle Safety Standard)을 제정하여 시행함으로써 일단락되었으며, 그 후 일본, 유럽, 호주 등 자동차선진국들도 대체적으로 미국기준을 모방한 자동차안전기준을 제정하여 오늘에 이르게 되었다. 그러나 그 내용에 있어서는 앞으로도 계속 논의대상이 있을 것으로 보이며 또 다소의 변화도 생길 것으로 보인다. 따라서 여기서는, 지금에 이르기까지의 미국의 현황에 대해서 약간 살펴본 다음 각국의 안전기준의 현황을 간단히 설명해보고자 한다.

• 전기의세계
• /
• v.33 no.1
• /
• pp.26-31
• /
• 1984

에집트의 NECC에 대하여 설명하였으며 주요 기술적인 문제와 운용상의 문제 그리고 NECC가 이들 문제를 어떻게 해결 할 것인가 하는 방안이 검토되었다. 이문제들은 장기간을 통하여 크게 상호연계되면서 단일화된 계통으로 자라난데 반하여 보다 낮은 안전운용으로 진전된 전력계통에 대하여 고려되었다. 설명된 소프트웨어 기능과 컴퓨터 구성은 에집트의 단일전력계통에 대한 제어와 신뢰도감시, 안전운전을 성취하기 위하여 제안되었던 것이고 사업수행은 그와 같은 사업의 전형적인 조직과 이들의 상호관계를 설명하였다.

• Proceedings of the Safety Management and Science Conference
• /
• 1999.11a
• /
• pp.469-479
• /
• 1999

Internet상의 전자문서, 전자거래 등과 관련된 전자업무에서는 다음과 같은 중요 인증 문제를 필요로 하게 한다. 첫째, 당사자(사용자)의 신분확인 기능(신원확인). 둘째, 전자업무 내용의 정보보호 및 무결성 기능(비밀성 보장). 셋째, 전자행위에 대한 부인봉쇄(분쟁해결) 등이 그것이다. 따라서 이러한 전자업무의 중요 인증 문제와 관련하여 신뢰할 만한 제3자, 즉 인증기관(CA : Certificate Authority)의 확인 및 증명해주는 제도가 필요하다. 위에서 언급한 제 가지 인증 문제 중 전자업무에서의 가장 기초적인 인증 문제인 당사자(사용자)의 신분확인 기능(신원확인)에 대한 문제를 연구하고자 한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39B no.1
• /
• pp.29-37
• /
• 2014

In this paper we show that a dynamic ID authentication scheme using smart cards proposed by Tsai et al. is not secure against DoS attack and insider attack. Further we claim that their scheme may raise a security problem when a user changes his/her password. Then we come up with a security-enhanced version only with small additional computational cost. Our scheme is based on the security of cryptographic hash function and the infeasibility assumption of discrete logarithm problem. In addition, we provide details of security and computational cost analysis.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.6 no.1
• /
• pp.90-96
• /
• 2011

In this paper, we propose a new discrete logarithm problem(DLP) based on the class semigroups of imaginary quadratic non-maximal orders using the special character of non-invertible ideal and analysis its security. To do this, we first explain the mathematical background explicitly and prove some properties of Cls (O) which relate to constructing the DLP and guaranteeing the security. To test the security of the proposed DLP, we compare the class number of the maximal order with that of the non-maximal order and investigate the unique factorization problems of ideals between class groups of the maximal orders and class semigroups of non-maximal orders to ensure the security of the cryptosystem.

• Journal of the Korea Construction Safety Engineering Association
• /
• v.2 no.1 s.3
• /
• pp.25-40
• /
• 1992

• Journal of the Korea Construction Safety Engineering Association
• /
• s.52
• /
• pp.86-94
• /
• 2011

• Journal of the Korea Construction Safety Engineering Association
• /
• s.42
• /
• pp.112-118
• /
• 2007

• Journal of the Korea Construction Safety Engineering Association
• /
• s.51
• /
• pp.106-110
• /
• 2010