University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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

[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

[4]

On quantum statistics in data analysis

Dusko Pavlovic

In Peter Bruza, editor, Quantum Interaction 2008. AAAI. 2008.

arxiv.org:0802.1296

[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.

[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.

[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

[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.

[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.

[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.

[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.

[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.

[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.

[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.

[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.

[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.

[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.