Return to Issue Details Formal mathematical models for providing information security Download Download PDF