Formal Methods in Systems Engineering: Proceedings of the 2nd Formal Methods Workshop, Held in Drymen, Scotland, 24 - 27 September, 1991

  • Authors:

  • P. Ryan;Christ Sennett

  • Affiliations:

  • -;-

  • Venue:
  • Formal Methods in Systems Engineering: Proceedings of the 2nd Formal Methods Workshop, Held in Drymen, Scotland, 24 - 27 September, 1991
  • Year:
  • 1993

  • Mathematical Models of Computer Security

    FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures

Quantified Score

Hi-index 0.00

Visualization

Abstract