dusko pavlovic
dusko pavlovic
Bestätigte E-Mail-Adresse bei hawaii.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A derivation system and compositional logic for security protocols
A Datta, A Derek, JC Mitchell, D Pavlovic
Journal of Computer Security 13 (3), 423-482, 2005
1902005
A compositional logic for proving security properties of protocols
N Durgin, J Mitchell, D Pavlovic
Journal of Computer Security 11 (4), 677-721, 2003
1602003
A new description of orthogonal bases
B Coecke, D Pavlovic, J Vicary
arXiv preprint arXiv:0810.0812, 2008
1572008
Quantum measurements without sums
B Coecke, D Pavlovic
arXiv preprint quant-ph/0608035, 2006
1402006
Secure protocol composition
A Datta, A Derek, JC Mitchell, D Pavlovic
Proceedings of the 2003 ACM workshop on Formal methods in security …, 2003
1022003
A derivation system for security protocols and its logical formalization
A Datta, A Derek, JC Mitchell, D Pavlovic
16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 109-125, 2003
1012003
Distance bounding protocols: Authentication logic analysis and collusion attacks
C Meadows, R Poovendran, D Pavlovic, LW Chang, P Syverson
Secure localization and time synchronization for wireless sensor and ad hoc …, 2007
1002007
A compositional logic for protocol correctness
N Durgin, J Mitchell, D Pavlovic
Proceedings of the 14th IEEE workshop on Computer Security Foundations, 241, 2001
892001
Classical and quantum structuralism
B Coecke, EO Paquette, D Pavlovic
Semantic Techniques in Quantum Computation, 29-69, 2008
832008
Calculus in coinductive form
D Pavlovic, MH Escardó
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
731998
An encapsulated authentication logic for reasoning about key distribution protocols
I Cervesato, C Meadows, D Pavlovic
18th IEEE Computer Security Foundations Workshop (CSFW'05), 48-61, 2005
682005
Deriving, attacking and defending the GDOI protocol
C Meadows, D Pavlovic
European Symposium on Research in Computer Security, 53-72, 2004
552004
Predicates and fibrations: From type theoretical to category theoretical presentation of constructive logic.
D Pavlovic
541992
Abstraction and refinement in protocol derivation
A Datta, A Derek, JC Mitchell, D Pavlovic
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 30-45, 2004
532004
Composition and refinement of behavioral specifications
D Pavlovic, DR Smith
Proceedings 16th Annual International Conference on Automated Software …, 2001
502001
Software development by refinement
D Pavlovic, DR Smith
Formal Methods at the Crossroads. From Panacea to Foundational Support, 267-286, 2003
432003
Testing semantics: connecting processes and process logics
D Pavlovic, M Mislove, JB Worrell
International Conference on Algebraic Methodology and Software Technology …, 2006
422006
Categorical logic of names and abstraction in action calculi
D Pavlović
Mathematical Structures in Computer Science 7 (6), 619-637, 1997
411997
Quantum and classical structures in nondeterminstic computation
D Pavlovic
International Symposium on Quantum Interaction, 143-157, 2009
402009
Deriving secrecy in key establishment protocols
D Pavlovic, C Meadows
European Symposium on Research in Computer Security, 384-403, 2006
362006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20