The method of types and its application to information hiding | IEEE Conference Publication | IEEE Xplore