This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...