( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Axiomatic Basis for Reasoning about Trust in PKIs.

, , и . ACISP, том 2119 из Lecture Notes in Computer Science, стр. 274-291. Springer, (2001)

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.

Jakob Ozols

Austra Ozols

Ulrich Ozols

Ioana Codrina Maris

Ioana Codrina Maris

 

Другие публикации лиц с тем же именем

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