Miguel León Chávez, Francisco Rodríguez-Henríquez. SDL Specification of a Security Architecture for WorldFIP. In 14th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2004), 16-18 February 2004, Veracruz, Mexico. pages 149-155, IEEE Computer Society, 2004. [doi]
Abstract is missing.