한양 의 맥박 을 찾 아서 67 
 스마트카드 란 집적회로 ( IC ) 기억 소자 를 장착 하 여 대용량 의 정보 를 담 을 수 있 는 카드 형태 의 초 소형 컴퓨터 를 말 한다 . 국내 에서 스마트카드 와 관련 된 사업 은 1994 년 부터 본격 적 으로 시작 된 것 으로 알려진다 . 그 이전 에 있 어 관련 사업 은 스마트카드 라기 보다 메모리 카드 활용 수준 에 지나 지 않 았 다 . 업체 들 은 1994 년 부터 해외 에서 관련 기술 을 수입 하 며 응용 분야 를 모색 하 기 시작 했 다 . 그러나 관련 업체 들 이 주력 으로 삼 았 던 응용 분야 가 전자 주민 증 사업 을 위시 로 한 국가 정책 적 인 사업 이 었 으니 , 이 는 사회단체 들 의 반대 로 인해 결국 1998 년 사업 자체 가 중단 되 고 만 다 . 이후 로 한국 형 전자 화폐 사업 이 추진 되 면서 스마트카드 는 다시금 자신 의 쓰임 을 찾아가 는 모습 이 다 . 
 기술 에 대한 오해 를 불식 시켜라 
 " 현재 TV 광고 중 인 SK 텔레콤 ' 모네타 ' 와 KTF 의 ‘ K - merce ' 가 스마트 카드 가 금융 분야 에 응용 된 대표 적 인 사례 입니다 . 모네타 와 K - merce 는 전자화폐 로서 신용 카드 의 기능 을 함께 가지 고 있 습니다 . 또한 K - merce 는 최근 국제 로 밍 서비스 기능 도 추가 했 습니다 . 일본 , 중국 이 이웃 의 전부 라 할 수 있 는 우리 와 달리 유럽 에 는 수많 은 나라 들 이 모여 있 습니다 . 각 나라 마다 통신 회사 가 다르 기 때문 에 국가 간 이 동시 휴대폰 을 자유 롭 게 사용 하 지 못한다는 점 이 심각 한 문제 로 대두 되 었 습니다 . 로밍 기술 은 자신 이 가입 한 지역 을 벗어났 을 경우 , 타 지역 사업자 의 통신 설비 를 통해 즉각 적 인 서비스 가 가능 하 게 만든 기술 입니다 . " 
 국내 스마트카드 연구 에 있 어 대표 적 인 학자 로 꼽히 는 안산 캠퍼스 전자 컴퓨터 공학부 도경구 교수 는 현재 가장 활성 화 된 스마트카드 활용 분야 로 금융 과 통신 영역 을 든다 . 유럽 의 경우 우리나라 와 달리 신용 카드 결제 가 오프라인 인증 을 중심 으로 이루 어 졌 던 탓 에 상대 적 으로 신용카드 사기 가 빈번 하 게 발생 하 는 문제 가 있 었 다 . 따라서 유럽연합 은 2005 년 까지 기존 의 모든 마그네 틱 신용 카드 를 스마트 카드 로 대체 할 예정 이 라고 . 얼마 전 , 현금 카드 및 신용카드 복제 사기 로 떠들썩 했 던 우리나라 도 이러 한 추세 에 동참 하 지 않 겠 냐고 도 교수 는 전망 한다 . 
 그 는 스마트카드 의 최고 장점 을 복제 불 가능 과 높 은 보안 성 이 라고 설명 한다 . 이런 사실 에 도 불구 하 고 다수 의 사회단체 들 은 보안 의 취약 성 을 이유 로 스마트카드 의 범 사회 적 도입 을 반대 해 왔 다 . 실제로 몇 년 전 주민 등록증 과 건강 보험 카드 를 스마트카드 로 대체 하 려는 정부 의 움직임 은 사회단체 들 의 거센 장벽 에 부딪혀 좌절 된 바 있 다 . 스마트카드 속 에 들어가 는 대용량 의 신상 데이터 가 누출 될 경우 , 사생활 침해 는 보다 심각 한 국면 을 맞 을 것 이 라는 주장 이 었 다 . 도 교수 는 사회단체 들 의 이러 한 주장 은 지식 의 결여 에서 비롯 된 오해 일 뿐 이 라고 일축 한다 . 
 " 예전 부터 우리 의 주민 등록증 이나 건강 보험 에 관련 된 정보 는 중앙 에서 관리 되 고 있 습니다 . 이미 종 이나 컴퓨터 에 보관 되 었 던 정보 를 스마트카드 로 대체 한다고 해서 기존 시스템 의 취약 한 보안 이 강화 되 는 것 은 아닙니다 . 오히려 스마트카드 를 도입 함 으로서 보안 장치 를 가중 시킬 수 있 습니다 . 종 이나 컴퓨터 에 보관 되 었 던 정보 는 제 3 자 에 의해 노출 가능 성 이 매우 큽니다 . 하지만 스마트카드 의 경우 는 원천 적 으로 정보 의 저장 장소 에 대한 접근 권한 이 차별 적 으로 프로그램 되 기 때문 에 더욱 안 전하 게 되 지요 . 더불 어 추가 적 인 안전 장치 로 스마트카드 는 암호 화 된 비밀 번호 도 갖 게 됩니다 . " 
 현재 프로그램 검증 은 ' 주먹구구식 ' 
 종이 와 마그네 틱 카드 를 대체 해 나가 고 있 는 스마트카드 는 일종 의 휴대 가능 한 극소형 컴퓨터 로 보 는 것 이 적절 하 다는 것 이 도 교수 의 설명 이 다 . 컴퓨터 와 마찬가지 로 스마트카드 는 중앙 처리 장치 , 메모리 , 응용 프로그램 , 운영 체제 등 을 내장 하 고 있 기 때문 . 단지 차이점 이 있 다면 극소형 이 기 때문 에 저장 용량 이나 프로세서 의 속도 에 제한 이 가해진다는 것 이 다 . 사실 도 교수 의 주요 관심 분야 는 스마트카드 가 아닌 프로그래밍 언어 . 프로그래머 가 스마트카드 에 관심 을 갖 게 된 배경 은 스마트카드 도 결국 컴퓨터 의 일종 이 었 던 탓 이 다 . 
 " 프로그래밍 언어 는 컴퓨터 프로그램 을 작성 하 기 위해 고안 된 언어 입니다 . 우리 가 컴퓨터 를 이용 하 여 어떤 문제 를 풀 기 위해서 는 우선 그 연산 과정 을 컴퓨터 에게 인지 시켜야 합니다 . 컴퓨터 가 우리 의 의도 를 이해 할 수 있 도록 하 기 위해 사용 하 는 것 이 바로 프로그래밍 언어 입니다 . 프로그램 이 원래 기획 자 의도 대로 구동 되 기 위해서 는 사람 이 논리 적 으로 사고 하 는 언어 와 프로그래밍 언어 가 비슷 해야 만 가능 합니다 . 하지만 간혹 인간 의 언어 와 컴퓨터 의 언어 가 일치 하 지 않 아 심각 한 문제 가 발생 하 기 도 합니다 . 처음 프로그램 기획 자 의 의도 대로 프로그램 이 돌아가 지 않 는 경우 가 생깁니다 . " 
 실제 윈도우 운영 체제 같 은 거대 한 프로그램 도 아무런 이유 없이 다운 되 는 경우 가 잦 다 . 이른바 공포 의 ' 블루스크린 ' 은 완벽 한 프로그램 이란 결코 있 을 수 없 다는 사실 을 화면 가득히 보여 주 며 시위 하 는 듯 하 다 . 프로그램 에 오류 가 발생 한다는 것 은 처음 기획 자 의 의도 대로 프로그램 이 실행 되 고 있 지 않 는 것 이 라고 도 교수 는 말 한다 . 그리고 이러 한 오류 들 은 드물 지만 엄청난 재난 과 막대 한 손해 를 몰 고 올 수 도 있 다고 . 만약 공항 의 항공기 관제 시스템 , 미사일 발사 제어 시스템 , 온라인 뱅킹 시스템 등 을 프로그램 하 는 과정 에서 오류 가 생겨 전혀 엉뚱 한 해답 이 나온다면 그 피해 는 가늠 하 기 어려울 것 이 라는 설명 이 다 . 
 현재 개발 된 하나 의 프로그램 을 점검 하 는 방법 은 대부분 , 해당 프로그램 을 반복 실행 하 여 발생 하 는 오류 들 을 제거 해 나가 는 경험 적 방법 에 의존 하 고 있 다 . 이 같 은 방법 의 문제 는 막대 한 시간 과 비용 이 소요 되 는 것 은 물론 , 무엇 보다 오류 로부터 의 안전 성 을 100 퍼센트 확신 할 수 없 다는 불안감 에 있 다 . 도 교수 가 프로그램 의 오류 를 자동 으로 검증 , 완벽 하 게 분석 해 내 는 시스템 개발 에 몰두 하 는 것 은 이 같 은 연구 가 비록 요원 한 과제 이 지만 , 디지털 환경 에서 반드시 해결 하 지 않 으면 안 될 과제 인 까닭 이 다 . 
 디지털 세상 의 모든 Error 를 지운다 
 " 프로그램 오류 로 인한 재난 을 막 기 위해서 는 경험 적 방법 을 극복 하 고 오류 를 자동 으로 확인 할 수 있 는 , 신뢰 할 수 있 는 검증 프로그램 을 만들 어 내 는 것 이 중요 합니다 . 검증 프로그램 이 설계 된 후 에 도 무조건 프로그램 을 구동 시키 는 것 에 의미 를 부여 해서 는 안 됩니다 . 내 의도 대로 프로그램 이 잘 돌아가 는지 , 만약 그렇 지 않 다면 정확 한 분석 을 통해 이유 를 규명 하 는 것 이 중요 합니다 . 궁극 적 으로 프로그램 의 오류 를 100 퍼센트 찾아내 완벽 한 안정 성 을 검증 해 내 는 것 이 ' 검증 프로그램 ' 의 목표 입니다 . 제 가 프로그램 밍 언어 에서 특히 주목 하 고 있 는 분야 가 바로 이것 입니다 . " 
 겉 으로 보 기 에 프로그래밍 언어 는 프로그램 을 만들 기 위한 언어 에 지나 지 않 을지 도 모른다 . 하지만 궁극 적 으로 프로그램 밍 언어 는 인간 과 기계 를 연결 해 주 는 , 소통 시켜 주 는 유일 한 통로 일지 도 모른다 . 감성 을 지닌 인간 과 합리 적 사고 중심 인 기계 가 소통 하 기 위해서 는 상호 연동 이 가능 한 논리 적 사고 체계 를 갖 는 것 이 가장 중요 하 다고 도 교수 는 말 한다 . 극도 의 논리 적 사고 가 필요 하 고 , 높 은 수준 의 완성도 를 추구 하 는 탓 일까 ? 프로그래밍 언어 에 대한 학생 들 의 관심 이 꾸준히 지속 되 지 않 는 소속 학과 의 현실 은 도 교수 가 가장 우려 하 는 부분 . 어렵 고 힘든 일 을 싫어하 는 요즘 학생 들 의 전형 적 인 모습 이 아니 겠 냐고 부연 하 는 그 의 얼굴 에 옅 은 근심 이 깃 든다 . 
 " 물론 전문가 가 아닌 이상 프로그래밍 언어 를 배울 필요 는 없 습니다 . 더 나아가 컴퓨터 를 배울 필요 도 없 습니다 . 현재 컴퓨터 를 사용 하 기 위한 수준 은 TV 리모 콘 을 다루 는 수준 과 크 게 차이 가 나 지 않 습니다 . 하지만 소수 일지라도 프로그램 의 완성도 를 검증 할 수 있 는 전문가 는 반드시 필요 합니다 . 자신 이 쓰 고 있 는 프로그램 이 인간 의 편의 를 위한 문명 의 이기 인지 , 공동체 의 안위 를 위협 할 폭탄 의 뇌관 인지 를 누군가 는 구별 해 내 야 할 것 아닙니까 ? " 
 사진 : 이재룡 사진 기자 ikikata @ ihanyang . ac . kr 
 도경구 교수 는 1980 년 본교 산업 공학 과 를 졸업 했 다 . 이후 1987 년 미국 아이 오아 주립 대학 ( Iowa State Univ . ) 에서 컴퓨터 공학 으로 석사 학위 를 , 1992 년 캔자스 주립 대학 ( Kansas State Univ . ) 에서 동일 전공 으로 박사 학위 를 받 았 다 . 이후 1993 년 부터 3 년 간 일본 의 아이 주대 ( Aizu ) 조교수 를 역임 하 고 , 1995 년 부터 안 산 캠퍼스 컴퓨터 공학 과 교수 로 재직 중 이 다 . ( 주 ) 스마트카드 연구소 대표 이사 , 한국 정보 과 학회 프로그래밍 언어 연구회 총무 , 대한 통신 정보 보호 학회 이사 , 한국 정보 과 학회 편집 위원 등 을 두루 역임 했 다 .