Case Study on Security Protocols using the Downsizing Game ("Liar Game", Kaitani Shinobu - 2006)