Related Experiment Videos
Assurance: the power behind PCASSO security.
D B Baker1, D R Masys, R L Jones
1Science Applications International Corporation (SAIC), La Jolla, CA, USA.
Proceedings. AMIA Symposium
|November 24, 1999
Summary
Healthcare applications need robust security. PCASSO ensures secure internet healthcare by using formal methods and testing, providing strong assurances against security breaches.
Area of Science:
- Health Informatics
- Cybersecurity
- Software Engineering
Background:
- Internet-based healthcare applications require robust security measures.
- Existing applications often use encryption, authentication, and access control, but lack strong assurance of their effectiveness.
- A gap exists in validating the reliable operation of security mechanisms in healthcare IT.
Purpose of the Study:
- To introduce PCASSO, a system designed to provide strong assurances for the security of Internet-based healthcare applications.
- To demonstrate the safe use of public data networks for healthcare through enhanced security mechanisms and system assurances.
Main Methods:
- Employing formal, disciplined design and development methodologies.
- Implementing rigorous functional and penetration testing.
- Utilizing robust security mechanisms with strong system assurances.
Main Results:
- PCASSO provides assurance of correct security mechanism operation.
- The system demonstrates resilience against potential subversion.
- PCASSO enables the secure utilization of public data networks for healthcare.
Conclusions:
- PCASSO offers a reliable solution for securing Internet-based healthcare applications.
- The system's approach enhances trust and safety in digital health data transmission.
- Formal methodologies and comprehensive testing are crucial for assuring healthcare IT security.