Dusko Pavlovic

Dusko Pavlovic

University of Hawaii System - Honolulu / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1630638
University of Hawai'i at Mānoa
person_outline Dusko Pavlovic's MOST POPULAR ARTICLES
1-) A derivation system and compositional logic for security protocolsA Datta, A Derek, JC Mitchell, D PavlovicJournal of Computer Security 13 (3), 423-482, 20051972005
2-) A new description of orthogonal basesB Coecke, D Pavlovic, J VicaryMathematical structures in computer science 23 (3), 555-567, 20131882013
3-) Quantum measurements without sumsB Coecke, D PavlovicMathematics of Quantum Computation and Quantum Technology, 577-620, 20071702007
4-) A compositional logic for proving security properties of protocolsN Durgin, J Mitchell, D PavlovicJournal of Computer Security 11 (4), 677-721, 20031682003
5-) Distance bounding protocols: Authentication logic analysis and collusion attacksC Meadows, R Poovendran, D Pavlovic, LW Chang, P SyversonSecure localization and time synchronization for wireless sensor and ad hoc …, 20071162007