( en | de | ru )

 

Disambiguation of "Ozols, Maris A."

Author of the publication

copydeleteadd this publication to your clipboard
The PKI Specification Dilemma: A Formal Solution.

, , , and . ACISP, volume 1841 of Lecture Notes in Computer Science, page 206-219. Springer, (2000)

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.

Jakob Ozols

Austra Ozols

Ulrich Ozols

Ioana Codrina Maris

Ioana Codrina Maris

 

Other publications of authors with the same name

An Axiomatic Basis for Reasoning about Trust in PKIs., , and . ACISP, volume 2119 of Lecture Notes in Computer Science, page 274-291. Springer, (2001)A Fibred Belief Logic for Multi-agent Systems., , and . Australian Conference on Artificial Intelligence, volume 3809 of Lecture Notes in Computer Science, page 29-38. Springer, (2005)XIsabelle: A System Description., , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 400-403. Springer, (1997)Covert Channel Analysis for Stubs., and . Information Hiding, volume 1174 of Lecture Notes in Computer Science, page 95-113. Springer, (1996)Towards Certificate Verification in a Certificate Management System., , , and . ACSC, page 150-157. IEEE Computer Society, (2000)Combining Logics for Modelling Security Policies., , and . ACSC, volume 38 of CRPIT, page 323-332. Australian Computer Society, (2005)A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems., , and . ASIAN, volume 3321 of Lecture Notes in Computer Science, page 142-156. Springer, (2004)Proof Tactics for a Theory of State Machines in a Graphical Environment., , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 366-379. Springer, (1997)Consistency of Trust Theories., and . Australian Joint Conference on Artificial Intelligence, volume 2557 of Lecture Notes in Computer Science, page 717. Springer, (2002)DOVE: A Tool for Design Oriented Verification and Evaluation., , and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 574-575. Springer, (1997)