Common Data Security Architecture (CDSA) Formal Development Download Presented as part of the 2001 HCSS conference. Tags: Galois Industry Presentation HCSS '01 HCSS 2001 License: CC-2.5 Submitted by William Martin on Thu, 02/09/2012 - 12:06