Dusko Pavlovic : Publications
|
[1] |
A categorical setting for the 4−Colour Theorem Dusko Pavlovic In J. Pure Appl. Algebra. Vol. 102. Pages 75–88. 1995. |
|
[2] |
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. |
|
[3] |
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) |
|
[4] |
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) |
|
[5] |
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) |
|
[6] |
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. |
|
[7] |
A new description of orthogonal bases Bob Coecke‚ Dusko Pavlovic and Jamie Vicary In Math. Structures in Comp. Sci.. 2011. 13 pp.‚ to appear‚ arxiv.org:0810.0812 |
|
[8] |
A new description of orthogonal bases Bob Coecke‚ Dusko Pavlovic and Jamie Vicary In ENTCS. 2008. To appear |
|
[9] |
A semantical approach to equilibria and rationality Dusko Pavlovic In Alexander Kurz and Andzrej Tarlecki, editors, Proceedings of CALCO 2009. Vol. 5728 of Lecture Notes in Computer Science. Pages 317–334. Springer Verlag. 2009. arxiv.org:0905.3548 |
|
[10] |
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. |
|
[11] |
Actor−network procedures: Modeling multi−factor authentication‚ device pairing‚ social interactions Dusko Pavlovic and Catherine Meadows March, 2011. arxiv.org:1106.0706; under submission |
|
[12] |
Algebraic Methodology and Software Technology‚ 13th International Conference‚ AMAST 2010‚ Lac−Beauport‚ QC‚ Canada‚ June 23−25‚ 2010‚ Revised Selected Papers Michael Johnson and Dusko Pavlovic, editors Michael Johnson and Dusko Pavlovic, editors |
|
[13] |
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) |
|
[14] |
Authentication for Mobile IPv6 Anupam Datta‚ John C. Mitchell‚ Frederic Muller and Dusko Pavlovic No. KES.U.02.02. Kestrel Institute. March, 2002. |
|
[15] |
Bayesian Authentication: Quantifying Security of the Hancke−Kuhn Protocol Dusko Pavlovic and Catherine Meadows In E. Notes in Theor. Comp. Sci.. Vol. 265. Pages 97 − 122. 2010. |
|
[16] |
CTCS '99‚ Conference on Category Theory and Computer Science‚ Edinburgh (UK)‚ 10−12 September 1999 Martin Hofmann‚ Giuseppe Rosolini and Dusko Pavlovic, editors Martin Hofmann‚ Giuseppe Rosolini and Dusko Pavlovic, editors |
|
[17] |
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. |
|
[18] |
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. |
|
[19] |
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. |
|
[20] |
Categorical logic of names and abstraction in action calculus Dusko Pavlovic In Math. Structures in Comp. Sci.. Vol. 7. Pages 619–637. 1997. |
|
[21] |
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. |
|
[22] |
Chu I: cofree equivalences‚ dualities and −autonomous categories Dusko Pavlovic In Math. Structures in Comp. Sci.. Vol. 7. No. 2. Pages 49–73. 1997. |
|
[23] |
Classical and Quantum Structures Bob Coecke‚ Eric O Paquette and Dusko Pavlovic No. RR−08−02. OUCL. 2008. |
|
[24] |
Classical and quantum structuralism Bob Coecke‚ Έric Oliver Paquette and Dusko Pavlovic In Simon Gay and Ian Mackie, editors, Semantical Techniques in Quantum Computation. Pages 29–69. Cambridge University Press. 2009. Details | BibTeX | Link (pdf) |
|
[25] |
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 |
|
[26] |
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. |
|
[27] |
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. |
|
[28] |
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. |
|
[29] |
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. |
|
[30] |
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. |
|
[31] |
Derivation of the JFK protocol Anupam Datta‚ John C. Mitchell and Dusko Pavlovic No. KES.U.02.03. Kestrel Institute. July, 2002. |
|
[32] |
Deriving authentication for pervasive security Dusko Pavlovic and Catherine Meadows In John McLean, editor, Proceedings of the ISTPS 2008. ACM. 2008. 15 pp |
|
[33] |
Deriving ephemeral authentication Dusko Pavlovic and Catherine Meadows In Bruce Christianson, editor, Proceedings of the Cambridge Workshop on Security Protocols 2009. 2009. |
|
[34] |
Deriving ephemeral authentication using channel axioms Dusko Pavlovic and Catherine Meadows In Bruce Christianson, editor, Proceedings of the Cambridge Workshop on Security Protocols 2009. Springer Verlag. 2010. to appear |
|
[35] |
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) |
|
[36] |
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) |
|
[37] |
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. |
|
[38] |
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) |
|
[39] |
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. |
|
[40] |
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) |
|
[41] |
EPOXI Dusko Pavlovic No. KES.U.01.1. Kestrel Institute. January, 2001. |
|
[42] |
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) |
|
[43] |
Formal derivation of concurrent garbage collectors Dusko Pavlovic‚ Peter Pepper and Douglas R. Smith In Jules Desharnais, editor, Proceedings of MPC 2010. Vol. 6120 of Lecture Notes in Computer Science. Pages 353–376. Springer Verlag. 2010. full version arxiv.org:1006.4342 Details | BibTeX | Link (pdf) |
|
[44] |
Gaming security by obscurity: If the enemy knows the system‚ then the system should learn from the enemy Dusko Pavlovic In Carrie Gates and Cormac Herley, editors, Proceedings of NSPW 2011. Pages 15 pp. ACM. 2011. to appear |
|
[45] |
Geometry of abstraction in quantum computation Dusko Pavlovic In Michael Mislove, editor, Clifford Lectures 2008. AMS. 2010. 28 pp‚ arxiv.org:1006.1010 Details | BibTeX | Link (pdf) |
|
[46] |
Geometry of abstraction in quantum computation Dusko Pavlovic No. RR−09−13. OUCL. October, 2009. |
|
[47] |
Guarded induction on final coalgebras Dusko ́Pavlovic In E. Notes in Theor. Comp. Sci.. Vol. 11. Pages 143–160. 1998. |
|
[48] |
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. |
|
[49] |
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) |
|
[50] |
Logic of build fusion Dusko Pavlovic No. KES.U.00.9. Kestrel Institute. December, 2000. |
|
[51] |
Maps II: Chasing diagrams in categorical proof theory Dusko Pavlovic In J. of the IGPL. Vol. 4. No. 2. Pages 1–36. 1996. |
|
[52] |
Maps I: relative to a factorisation system Dusko Pavlovic In J. Pure Appl. Algebra. Vol. 99. Pages 9–34. 1995. |
|
[53] |
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) |
|
[54] |
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. |
|
[55] |
On coalgebra of real numbers Dusko Pavlovic and Vaughan Pratt In E. Notes in Theor. Comp. Sci.. Vol. 19. Pages 133–148. 1999. |
|
[56] |
On completeness and cocompleteness in and around small categories Dusko Pavlovic In Annals Pure Appl. Logic. Vol. 74. Pages 121–152. 1995. |
|
[57] |
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) |
|
[58] |
On the structure of paradoxes Dusko Pavlovic In Arch. Math. Logic. Vol. 31. Pages 397–406. 1992. |
|
[59] |
Predicates and Fibrations Dusko Pavlovic PhD Thesis Rijksuniversiteit Utrecht. 1990. |
|
[60] |
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) |
|
[61] |
Quantifying and qualifying trust: Spectral decomposition of trust networks Dusko Pavlovic In Pierpaolo Degano‚ Sandro Etalle and Joshua Guttman, editors, Proceedings of FAST 2010. Vol. 6561 of Lecture Notes in Computer Science. Pages 1–17. Springer Verlag. 2011. arxiv.org:1011.5696 |
|
[62] |
Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol Dusko Pavlovic and Catherine Meadows No. RR−09−09. OUCL. October, 2009. |
|
[63] |
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 |
|
[64] |
Quantum measurements without sums Bob Coecke and Dusko Pavlovic No. RR−06−02. Oxford University Computing Laboratory. July, 2006. |
|
[65] |
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) |
|
[66] |
Relating toy models of quantum computation: comprehension‚ complementarity and dagger autonomous categories Dusko Pavlovic In E. Notes in Theor. Comp. Sci.. Vol. 270. No. 2. Pages 121–139. 2011. arxiv.org:1006.1011 |
|
[67] |
Scalar Inverses in Quantum Structuralism Bob Coecke and Dusko Pavlovic No. RR−08−03. OUCL. 2008. |
|
[68] |
Secure protocol composition Anupam Datta‚ Ante Derek‚ John Mitchell and Dusko Pavlovic In E. Notes in Theor. Comp. Sci.. Pages 87–114. 2003. |
|
[69] |
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. |
|
[70] |
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. |
|
[71] |
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. |
|
[72] |
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. |
|
[73] |
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) |
|
[74] |
The continuum as a final coalgebra Dusko Pavlovic and Vaughan Pratt In Theor. Comp. Sci.. Vol. 280. No. 1–2. Pages 105–122. 2002. |
|
[75] |
The unreasonable ineffectiveness of security engineering: An overview Dusko Pavlovic In José Luiz Fiadeiro and Stefania Gnesi, editors, Proceedings of IEEE Conference on Software Engineering and Formal Methods‚ Pisa‚ Italy‚ 2010. Pages 12–18. IEEE. 2010. |
|
[76] |
Towards semantics of guarded induction Dusko ́Pavlovic Kestrel Institute. December, 1998. |
|
[77] |
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. |