FORMALTECH

Downloadable computer software in the field of design and development of electronic data security systems; downloadable computer software in the field of risk assessment, information security, vulnerability analysis; Downloadable computer software in the field of on-line scanning, detecting, quarantining and eliminating of viruses, worms, trojans, spyware, adware, malware, software vulnerabilities and defects, and unauthorized data and programs on computers and electronic devices; Downloadable computer software in the field of encryption, authentication, network defense, network protection, application self-protection, network deception, privacy protection; Downloadable computer software for use in field of application development and testing tools for high assurance software development including domain specific programming languages, and tools to analyze program and design correctness

Design and development of electronic data security systems; Development of customized software for others for use in risk assessment, vulnerability assessment, information security; Maintenance of computer software relating to computer security and prevention of computer risks; Updating of computer software relating to computer security and prevention of computer risks; Computer services, namely, on-line scanning, detecting, and eliminating software vulnerabilities and defects; Remote monitoring services of networks and computer systems to detect computer intrusions or infections by viruses, worms, trojans, spyware, adware, malware or unauthorized access. Testing of computer software for determining software correctness; Software as a service (SAAS) featuring software for risk assessment and information security; Software as a service (SAAS) services featuring software for on-line detection and elimination of software vulnerabilities and defects