Miro: visual specification of security

This publication has 13 references indexed in Scilit:

• Visual languages and the conflict between single assignment and iteration
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Micro tools
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On visual formalisms
  Communications of the ACM, 1988
• Reasoning About Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• The ITC distributed file system
  Published by Association for Computing Machinery (ACM) ,1985
• A comment on the ‘basic security theorem’ of Bell and LaPadula
  Information Processing Letters, 1985
• Analysis of a Kemel Verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Group-Theoretic Algorithms and Graph Isomorphism
  Lecture Notes in Computer Science, 1982
• Isomorphism of graphs of bounded valence can be tested in polynomial time
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1980
• The graph isomorphism disease
  Journal of Graph Theory, 1977