Breaking the Ada Privacy Act Jeffrey R. Carter PragmAda Software Engineering 1540 Coat Ridge Road Herndon, VA 22070-2728 72030.6770compuserve.com The Ada Privacy A c t o f 1983 Ada 83 provides excellent protection for private types: Normal language features provide no way to access the underlying representation of a private type outside its package. Thus, the designer of a private type may safely make assumptions about the value of variables of a private type based solely on the operations on the type provided by the package. Since clients cannot "open the box" to access the full type definition, nor apply operations other than those provided, the designer can guarantee the behavior of the package. There are always those who seek to circumvent such protection, out of concerns for efficiency, displeasure at being denied direct access, or the thrill of meeting a challenge. To ensure the functionality and reliability of our systems, we must be able to catch those who seek to break the Privacy Act. To do so, we must know their methods. An Example Consider a simple package for providing bounded, variable-length strings: package String_Handler is type String_Handle is p r i v a t e ;
/lp/association-for-computing-machinery/breaking-the-ada-privacy-act-3WTt2AZcCC