( en | de | ru )

 

Disambiguation of "Leonard, Elizabeth I."

Author of the publication

copydeleteadd this publication to your clipboard
Analyzing Security-Enhanced Linux Policy Specifications.

, , and . POLICY, page 158-. IEEE Computer Society, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Elizabeth I Traverse

Nata i i

Leonard Lennerts

Leonard Rupp

Leonard Düben

 

Other publications of authors with the same name

Direct generation of invariants for reactive models., , , and . MEMOCODE, page 119-130. IEEE, (2012)Formal specification and verification of data separation in a separation kernel for an embedded system., , , and . CCS, page 346-355. ACM, (2006)Analyzing Security-Enhanced Linux Policy Specifications., , and . POLICY, page 158-. IEEE Computer Society, (2003)Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation., and . FormaliSE@ICSE, page 54-60. IEEE Computer Society, (2015)High assurance human-centric decision systems., , , , , and . RAISE@ICSE, page 35-41. IEEE Computer Society, (2013)Extended abstract: organizing automaton specifications to achieve faithful representation., and . MEMOCODE, page 245-246. IEEE Computer Society, (2005)Idea: Writing Secure C Programs with SecProve., , and . ESSoS, volume 7781 of Lecture Notes in Computer Science, page 171-180. Springer, (2013)An Algebraic Framework for Developing and Maintaining Real-Time Systems., and . AMAST, volume 936 of Lecture Notes in Computer Science, page 338-352. Springer, (1995)On Model-Based Software Development., , , and . Perspectives on the Future of Software Engineering, page 49-60. Springer, (2013)Modeling Security-Enhanced Linux Policy Specifications for Analysis., , and . DISCEX (2), page 164-169. IEEE Computer Society, (2003)