2012 고신뢰컴퓨팅연구회동계워크샵 안내