dusko pavlovic
dusko pavlovic
Email verificata su hawaii.edu - Home page
TitoloCitata daAnno
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
1872005
A compositional logic for proving security properties of protocols
N Durgin, J Mitchell, D Pavlovic
Journal of Computer Security 11 (4), 677-721, 2003
1542003
A new description of orthogonal bases
B Coecke, D Pavlovic, J Vicary
Mathematical Structures in Computer Science 23 (3), 555-567, 2013
1502013
Quantum measurements without sums
B Coecke, D Pavlovic
arXiv preprint quant-ph/0608035, 2006
1352006
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
1002003
Secure protocol composition
A Datta, A Derek, JC Mitchell, D Pavlovic
Proceedings of the 2003 ACM workshop on Formal methods in security …, 2003
982003
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
932007
A compositional logic for protocol correctness
N Durgin, J Mitchell, D Pavlovic
Proceedings of the 14th IEEE workshop on Computer Security Foundations, 241, 2001
882001
Classical and quantum structuralism
B Coecke, EO Paquette, D Pavlovic
Semantic Techniques in Quantum Computation, 29-69, 2008
812008
Calculus in coinductive form
D Pavlovic, MH Escardó
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
751998
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
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
522004
Predicates and fibrations: From type theoretical to category theoretical presentation of constructive logic.
D Pavlovic
511992
Composition and refinement of behavioral specifications
D Pavlovic, DR Smith
Proceedings 16th Annual International Conference on Automated Software …, 2001
482001
Software development by refinement
D Pavlovic, DR Smith
Formal Methods at the Crossroads. From Panacea to Foundational Support, 267-286, 2003
442003
Testing semantics: connecting processes and process logics
D Pavlovic, M Mislove, JB Worrell
International Conference on Algebraic Methodology and Software Technology …, 2006
422006
Quantum and classical structures in nondeterminstic computation
D Pavlovic
International Symposium on Quantum Interaction, 143-157, 2009
402009
Categorical logic of names and abstraction in action calculi
D Pavlović
Mathematical Structures in Computer Science 7 (6), 619-637, 1997
391997
Deriving secrecy in key establishment protocols
D Pavlovic, C Meadows
European Symposium on Research in Computer Security, 384-403, 2006
372006
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20