US8090956B2 - Program Converting Device, Secure Processing Device, Computer Program, and Recording Medium