그룹상호배제 기반의 안전한 분산프로토콜

A Secure Distributed Protocol based on Group Mutual Exclusion

이 논문에서는 Manabe［2］에 의해 제안된 그룹상호배제를 위한 쿼럼(Quorum)기반의 알고리즘을 바탕으로 암호 기법을 이용한 보다 안전한 분산 알고리즘에 대하여 논한다. 그룹 상호배제는 하나의 리소스를 같은 그룹 내의 모든 프로세스에 의해서 공유되도록 할 수 있는 상호배제의 일반화이다［1］［4］. 하지만, 다른 그룹의 프로세스들은 상호 배타적인 방법으로 하나의 리소스를 사용하도록 요청된다. 즉, 다른 그룹의 프로세스들은 이미 임계영역에 있는 프로세스가 그 리소스에 대한 사용이 끝난 후 임계영역에 들어갈 수 있다. 분산 컴퓨팅 분야에서 계속적으로 제안된 알고리즘은 실제 개방된 인터넷상에서 각 프로세스들 간의 안전한 통신이 이루어져야 함에도 불구하고 프로세스들 간의 상호배제에만 초점을 맞춤으로서 안전성을 전혀 고려하지 않고 있다. 이 논문에서는 분산알고리즘에 암호학적 기법을 적용한 안전한 분산 알고리즘을 제시한다.