This paper describes an approach for verifying programs in the presence of data abstraction and information hiding,which are key features of modern program ming languages with objects and modules.The paper focuses on the property o modular soun

This paper presents a novel algorithm of hiding secret messages by applying mathematical lemmas and information theory. The proposed algorithm can hide more information with acceptable embedded rate and achieves requirements of information hi