Browse ORBilu by Open Access
- What it is and what it isn't
- Green Road / Gold Road?
- Ready to Publish. Now What?
- How can I support the OA movement?
- Where can I learn more?
ORBilu is a project developed by
Showing results 161 to 179 of 179
   Fast leader election in anonymous rings with bounded expected delay; ; et al in Information Processing Letters (2011), 111(17), 864-870 Detailed reference viewed: 101 (2 UL)Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V; Pang, Jun  in Journal of Information Security (2010), 1(2), 56-67 Detailed reference viewed: 127 (0 UL)Extending the Strand Space Method with Timestamps: Part I the Theor; Pang, Jun in Journal of Information Security (2010), 1(2), 45-55 Detailed reference viewed: 71 (0 UL)Game-based verification of multi-party contract signing protocolsZhang, Ying ; Zhang, Chenyi ; Pang, Jun et alin Proceedings of 7th International Workshop on Formal Aspects in Security and Trust (FAST'09) (2010) Detailed reference viewed: 133 (3 UL)Model checking round-based distributed algorithms; Pang, Jun in Proceedings of 15th IEEE International Conference on Engineering of Complex Computer Systems (2010) Detailed reference viewed: 105 (1 UL)On probabilistic alternating simulations; Pang, Jun in Proc. 6th IFIP Conference on Theoretical Computer Science (2010) Detailed reference viewed: 164 (3 UL)Brief announcement: Asynchronous bounded expected delay networks; ; et al in Proceedings of 29th Annual ACM Symposium on Principles of Distributed Computing (2010) Detailed reference viewed: 78 (1 UL)Extending a key-chain based certified email protocol with transparent TTP; Pang, Jun ; in Proceedings of 6th IEEE/IFIP Symposium on Trusted Computing and Communications (2010) Detailed reference viewed: 141 (1 UL) Message from T4CIA workshop co-chairsPang, Jun ; in Proc. 3rd IEEE Conference on Secure Software Integration and Reliability Improvement (2009) This is an editorial. Detailed reference viewed: 100 (1 UL)A formal framework for quantifying voter-controlled privacyJonker, Hugo ; Mauw, Sjouke ; Pang, Jun in Journal of Algorithms in Cognition, Informatics and Logic (2009) Detailed reference viewed: 121 (7 UL)Measuring voter-controlled privacyJonker, Hugo ; Mauw, Sjouke ; Pang, Jun in Proceedings of 4th Conference on Availability, Reliability and Security (ARES'09) (2009) Detailed reference viewed: 118 (2 UL)How to work with honest but curious judges? (preliminary report)Pang, Jun ; in Proc. 7th International Workshop on Security Issues in Concurrency (2009) Detailed reference viewed: 138 (1 UL)PAT: Towards flexible verification under fairness; ; et al in Proc. 21th International Conference on Computer Aided Verification (2009) Detailed reference viewed: 215 (1 UL)Verification of population ring protocols in PAT; Pang, Jun ; et alin Proceedings of 3rd IEEE Symposium on Theoretical Aspects of Software Engineering (2009) Detailed reference viewed: 137 (2 UL)Improving automatic verification of security protocols with XORChen, Xihui ; van Deursen, Ton ; Pang, Jun in Proc. 11th International Conference on Formal Engineering Methods (2009) Detailed reference viewed: 137 (2 UL)Is timed branching bisimilarity a congruence indeed?; Pang, Jun ; in Fundamenta Informaticae (2008), 87(3-4), 287311 Detailed reference viewed: 56 (1 UL)On automatic verification of self-stabilizing population protocolsPang, Jun ; ; in Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE'08) (2008) Detailed reference viewed: 117 (5 UL)Leader election in anonymous rings: Franklin goes probabilistic; ; Pang, Jun et alin Proc. 5th IFIP Conference on Theoretical Computer Science (2008) Detailed reference viewed: 113 (2 UL)On automatic verification of self-stabilizing population protocolsPang, Jun ; ; in Frontiers of Computer Science in China (2008), 2(4), 357367 Detailed reference viewed: 142 (2 UL) |
||
