Dusko Pavlovic : Publications
Personal orderingBibtex
|
[1] |
Dynamics‚ robustness and fragility of trust Dusko Pavlovic In Pierpaolo Degano‚ Joshua Guttman and Fabio Martinelli, editors, Proceedings of FAST 2008. Vol. 5491 of Lecture Notes in Computer Science. Pages 97–113. Springer Verlag. 2008. arxiv.org:0808.0732 Details | BibTeX | Link (pdf) |
|
[2] |
Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol Dusko Pavlovic and Catherine Meadows No. RR−09−09. OUCL. October, 2009. |
|
[3] |
Network as a computer: ranking paths to find flows Dusko Pavlovic In Alexander Razborov and Anatol Slissenko, editors, Proceedings of CSR 2008. Vol. 5010 of Lecture Notes in Computer Science. Pages 384–397. Springer Verlag. 2008. arxiv.org:0802.1306 Details | BibTeX | Link (pdf) |
|
[4] |
On quantum statistics in data analysis Dusko Pavlovic In Peter Bruza, editor, Quantum Interaction 2008. AAAI. 2008. arxiv.org:0802.1296 Details | BibTeX | Link (pdf) |
|
[4] |
Evolving specification engineering Dusko Pavlovic‚ Peter Pepper and Douglas R. Smith In Jose Meseguer and Grigore Rosu, editors, Proceedings of AMAST 2008. Vol. 5140 of Lecture Notes in Computer Science. Pages 299–314. Springer Verlag. 2008. Details | BibTeX | Link (pdf) |
|
[6] |
Deriving ephemeral authentication Dusko Pavlovic and Catherine Meadows In Bruce Christianson, editor, Proceedings of the Cambridge Workshop on Security Protocols 2009. 2009. |
|
[7] |
Classical and quantum structuralism Bob Coecke‚ Eric Oliver Paquette and Dusko Pavlovic In Simon Gay and Ian Mackie, editors, Semantical Techniques in Quantum Computation. Cambridge University Press. 2008. to appear |
|
[8] |
Quantum and classical structures in nondeterministic computation Dusko Pavlovic In Peter Bruza‚ Don Sofge and Keith van Rijsbergen, editors, Proceedings of Quantum Interaction 2009. Vol. 5494 of Lecture Notes in Artificial Intelligence. Pages 143–158. Springer Verlag. 2009. arxiv.org:0812.2266 |
|
[8] |
Classical and Quantum Structures Bob Coecke‚ Eric O Paquette and Dusko Pavlovic No. RR−08−02. OUCL. 2008. |
|
[9] |
Scalar Inverses in Quantum Structuralism Bob Coecke and Dusko Pavlovic No. RR−08−03. OUCL. 2008. |
|
[10] |
Labelled Markov Processes as Generalised Stochastic Relations Michael Mislove‚ Dusko Pavlovic and James Worrell In Electron. Notes Theor. Comput. Sci.. Vol. 172. Pages 459–478. 2007. Details | BibTeX | DOI (http://dx.doi.org/10.1016/j.entcs.2007.02.015) |
|
[11] |
Quantum measurements without sums B. Coecke and D. Pavlovic In G. Chen‚ L. Kauffman and S. Lamonaco, editors, Mathematics of Quantum Computing and Technology. Taylor and Francis. 2007. arxiv.org/quant−ph/0608035 Details | BibTeX | Link (pdf) |
|
[12] |
A new description of orthogonal bases Bob Coecke‚ Dusko Pavlovic and Jamie Vicary In ENTCS. 2008. To appear |
|
[12] |
Testing semantics: Connecting processes and process logics Dusko Pavlovic‚ Michael Mislove and James Worrell In Michael Johnson and Varmo Vene, editors, Proceedings of AMAST 2006. Vol. 4019 of Lecture Notes in Computer Science. Pages 308–322. Springer Verlag. 2006. Details | BibTeX | Link (pdf) |
|
[13] |
Quantum measurements without sums Bob Coecke and Dusko Pavlovic No. RR−06−02. Oxford University Computing Laboratory. July, 2006. |
|
[14] |
Proving Authentication Properties in the Protocol Derivation Assistant Matthias Anlauff‚ Dusko Pavlovic‚ Richard Waldinger and Stephen Westfold In Pierpaolo Degano‚ Ralph Küsters and Luca Vigano, editors, Proceedings of FCS−ARSPA 2006. ACM. 2006. Details | BibTeX | Link (pdf) |
|
[15] |
Distance bounding protocols: authentication logic analysis and collusion attacks Catherine Meadows‚ Radha Poovendran‚ Dusko Pavlovic‚ LiWu Chang and Paul Syverson In R. Poovendran‚ C. Wang and S. Roy, editors, Secure Localization and Time Synchronization in Wireless Ad Hoc and Sensor Networks. Springer Verlag. 2006. Details | BibTeX | Link (pdf) |
|
[16] |
Deriving secrecy properties in key establishment protocols Dusko Pavlovic and Catherine Meadows In Dieter Gollmann and Andrei Sabelfeld, editors, Proceedings of ESORICS 2006. Vol. 4189 of Lecture Notes in Computer Science. Springer Verlag. 2006. Details | BibTeX | Link (pdf) |
|
[17] |
Deriving secure network protocols for enterprise service architectures Matthias Anlauff‚ Dusko Pavlovic and Asuman Sünbül In Bülent Yener‚ Refik Molva and Carlos Becker Westphall, editors, Proceedings of IEEE Interrnational Conference on Communications. IEEE. 2006. Details | BibTeX | Link (pdf) |
|
[18] |
A derivation system and compositional logic for security protocols Anupam Datta‚ Ante Derek‚ John Mitchell and Dusko Pavlovic In J. of Comp. Security. Vol. 13. Pages 423–482. 2005. Details | BibTeX | Link (pdf) |
|
[19] |
An encapsulated authentication logic for reasoning about key distribution protocols Iliano Cervesato‚ Catherine Meadows and Dusko Pavlovic In Joshua Guttman, editor, Proceedings of CSFW 2005. Pages 48–61. IEEE. 2005. Details | BibTeX | Link (pdf) |
|
[20] |
A compositional logic for proving security properties of protocols Nancy Durgin‚ John Mitchell and Dusko Pavlovic In J. of Comp. Security. Vol. 11. No. 4. Pages 677–721. 2004. Details | BibTeX | Link (pdf) |
|
[21] |
Duality for Labelled Markov Processes Michael Mislove‚ Joel Ouaknine‚ Dusko Pavlovic and James Worrell In Igor Walukiewicz, editor, Proceedings of FoSSaCS 2004. Vol. 2987 of Lecture Notes in Computer Science. Pages 393–407. Springer Verlag. 2004. |
|
[22] |
Deriving‚ attacking and defending the GDOI protocol Catherine Meadows and Dusko Pavlovic In Peter Ryan‚ Pierangela Samarati‚ Dieter Gollmann and Refik Molva, editors, Proceedings of ESORICS 2004. Vol. 3193 of Lecture Notes in Computer Science. Pages 53–72. Springer Verlag. 2004. |
|
[23] |
Abstraction and refinement in protocol derivation Anupam Datta‚ Ante Derek‚ John C. Mitchell and Dusko Pavlovic In Riccardo Focardi, editor, Proceedings of CSFW 2004. Pages 30–47. IEEE. 2004. |
|
[24] |
Secure protocol composition Anupam Datta‚ Ante Derek‚ John Mitchell and Dusko Pavlovic In E. Notes in Theor. Comp. Sci.. Pages 87–114. 2003. |
|
[25] |
Software development by refinement Dusko Pavlovic and Douglas R. Smith In Bernhard K. Aichernig and Tom Maibaum, editors, Formal Methods at the Crossroads. Vol. 2757 of Lecture Notes in Computer Science. Springer Verlag. 2003. |
|
[26] |
Secure protocol composition (extended abstract) Anupam Datta‚ Ante Derek‚ John C. Mitchell and Dusko Pavlovic In Michael Backes‚ David Basin and Michael Waidner, editors, Proceedings of FMCS 2003. Pages 11–23. ACM. 2003. |
|
[27] |
Colimits for Concurrent Collectors Dusko Pavlovic‚ Peter Pepper and Douglas R. Smith In Nachum Dershowitz, editor, Verification — Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday. Vol. 2772 of Lecture Notes in Computer Science. Pages 568–597. Springer Verlag. 2003. |
|
[28] |
A derivation system for security protocols and its logical formalization Anupam Datta‚ Ante Derek‚ John C. Mitchell and Dusko Pavlovic In Dennis Volpano, editor, Proceedings of CSFW 2003. Pages 109–125. IEEE. 2003. Details | BibTeX | Link (pdf) |
|
[29] |
The continuum as a final coalgebra Dusko Pavlovic and Vaughan Pratt In Theor. Comp. Sci.. Vol. 280. No. 1–2. Pages 105–122. 2002. |
|
[30] |
On Specification Carrying Software‚ its Refinement and Composition Matthias Anlauff and Dusko Pavlovic In H. Ehrig‚ B.J. Krämer and A. Ertas, editors, Proceedings of IDPT 2002. Society for Design and Process Science. 2002. |
|
[31] |
Guarded transitions in evolving specifications Dusko Pavlovic and Douglas R. Smith In H. Kirchner and C. Ringeissen, editors, Proceedings of AMAST 2002. Vol. 2422 of Lecture Notes in Computer Science. Pages 411–425. Springer Verlag. 2002. |
|
[32] |
Derivation of the JFK protocol Anupam Datta‚ John C. Mitchell and Dusko Pavlovic No. KES.U.02.03. Kestrel Institute. July, 2002. |
|
[33] |
Authentication for Mobile IPv6 Anupam Datta‚ John C. Mitchell‚ Frederic Muller and Dusko Pavlovic No. KES.U.02.02. Kestrel Institute. March, 2002. |
|
[34] |
Towards semantics of self−adaptive software Duško ́Pavlovic In Paul Robertson‚ Howie Schrobe and Robert Laddaga, editors, Proceedings of the Workshop on Self−Adaptive Software. Vol. 1936 of Lecture Notes in Computer Science. Pages 50–64. Springer Verlag. 2001. |
|
[35] |
EPOXI Dusko Pavlovic No. KES.U.01.1. Kestrel Institute. January, 2001. |
|
[36] |
Composition and refinement of behavioral specifications Dusko Pavlovic and Douglas R. Smith In Automated Software Engineering 2001. The Sixteenth International Conference on Automated Software Engineering. IEEE. 2001. |
|
[37] |
Categories of processes enriched in final coalgebras Sava Krsti/'c‚ John Launchbury and Dusko ́Pavlovic In Furio Honsell, editor, Proceedings of FoSSaCS 2001. Vol. 2030 of Lecture Notes in Computer Science. Pages 303–317. Springer Verlag. 2001. |
|
[38] |
A compositional logic for protocol correctness Nancy Durgin‚ John C. Mitchell and Dusko Pavlovic In Steve Schneider, editor, Proceedings of CSFW 2001. Pages 241–255. IEEE. 2001. |
|
[39] |
Logic of build fusion Dusko Pavlovic No. KES.U.00.9. Kestrel Institute. December, 2000. |
|
[40] |
On coalgebra of real numbers Dusko Pavlovic and Vaughan Pratt In E. Notes in Theor. Comp. Sci.. Vol. 19. Pages 133–148. 1999. |
|
[41] |
Semantics of first order parametric specifications Duško ́Pavlovic In J. Woodcock and J. Wing, editors, Formal Methods '99. Vol. 1708 of Lecture Notes in Computer Science. Pages 155–172. Springer Verlag. 1999. |
|
[42] |
Guarded induction on final coalgebras Dusko ́Pavlovic In E. Notes in Theor. Comp. Sci.. Vol. 11. Pages 143–160. 1998. |
|
[43] |
Towards semantics of guarded induction Dusko ́Pavlovic Kestrel Institute. December, 1998. |
|
[44] |
Calculus in coinductive form Dusko ́cPavlovi and Martín Escardó In V. Pratt, editor, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science. Pages 408–417. IEEE Computer Society. 1998. |
|
[45] |
Chu I: cofree equivalences‚ dualities and −autonomous categories Dusko Pavlovic In Math. Structures in Comp. Sci.. Vol. 7. No. 2. Pages 49–73. 1997. |
|
[46] |
Categorical logic of names and abstraction in action calculus Dusko Pavlovic In Math. Structures in Comp. Sci.. Vol. 7. Pages 619–637. 1997. |
|
[47] |
Specifying Interaction Categories Dusko Pavlovic and Samson Abramsky In E. Moggi and G. Rosolini, editors, Category Theory and Computer Science '97. Vol. 1290 of Lecture Notes in Computer Science. Pages 147–158. Springer Verlag. 1997. |
|
[48] |
Maps II: Chasing diagrams in categorical proof theory Dusko Pavlovic In J. of the IGPL. Vol. 4. No. 2. Pages 1–36. 1996. |
|
[49] |
Convenient categories of processes and simulations II: modulo weak and branching bisimilarities Dusko Pavlovic In A. Edalat et al., editor, Theory and Formal Methods of Computing 96. Pages 156–167. World Scientific. 1996. |
|
[50] |
Maps I: relative to a factorisation system Dusko Pavlovic In J. Pure Appl. Algebra. Vol. 99. Pages 9–34. 1995. |
|
[51] |
A categorical setting for the 4−Colour Theorem Dusko Pavlovic In J. Pure Appl. Algebra. Vol. 102. Pages 75–88. 1995. |
|
[52] |
On completeness and cocompleteness in and around small categories Dusko Pavlovic In Annals Pure Appl. Logic. Vol. 74. Pages 121–152. 1995. |
|
[53] |
Convenient categories of processes and simulations I: modulo strong bisimilarity Dusko Pavlovic In D. Pitt et al., editor, Category Theory and Computer Science '95. Vol. 953 of Lecture Notes in Computer Science. Pages 3–24. Springer Verlag. 1995. |
|
[54] |
Categorical logic of concurrency and interaction I. Synchronous processes Dusko Pavlovic In C. Hankin et al., editor, Theory and Formal Methods of Computing 94. Pages 105–141. World Scientific. 1995. |
|
[59] |
On the structure of paradoxes Dusko Pavlovic In Arch. Math. Logic. Vol. 31. Pages 397–406. 1992. |
|
[96] |
A logical view on the Adjoint Functor Theorem Dusko Pavlovic In R.A.G. Seely, editor, Category Theory 1991‚ Proceedings of an International Summer Category Theory Meeting. Vol. 13 of CMS Conference Proceedings. Pages 361–367. American Mathematical Society. 1992. |
|
[97] |
Constructions and predicates Dusko Pavlovic In D. Pitt et al., editor, Category Theory and Computer Science '91. Vol. 530 of Lecture Notes in Computer Science. Pages 173–197. Springer Verlag. 1991. |
|
[98] |
Categorical interpolation: descent and the Beck−Chevalley condition without direct images Dusko Pavlovic In A. Carboni et al., editor, Category Theory‚ Proceedings‚ Como 1990. Vol. 1488 of Lecture Notes in Mathematics. Pages 306–326. Springer Verlag. 1991. |
|
[99] |
Predicates and Fibrations Dusko Pavlovic PhD Thesis Rijksuniversiteit Utrecht. 1990. |