dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Yan Zhang (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYun Bai, Yan Zhang, Vijay Varadharajan: On the sequence of authorization policy transformations. Int. J. Inf. Sec. 4(1-2): 120-131 (2005)
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun Ruan, Vijay Varadharajan, Yan Zhang: Evaluation of Authorization with Delegation and Negation. IIS 2003: 547-551
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun Ruan, Vijay Varadharajan, Yan Zhang: A Logic Model for Temporal Authorization Delegation with Negation. ISC 2003: 310-324
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun Ruan, Vijay Varadharajan, Yan Zhang: Delegatable Authorization Program and Its Application. Security and Management 2003: 267-273
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun Ruan, Vijay Varadharajan, Yan Zhang: Logic-Based Reasoning on Delegatable Authorizations. ISMIS 2002: 185-193
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYan Zhang, Vijay Varadharajan: A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols. ACSC 2001: 215-222
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongxue Wang, Vijay Varadharajan, Yan Zhang: A New Approach to Reasoning About Accountability in Cryptographic Protocols for E-Commerce. E-Commerce Security and Privacy 2001: 113-131
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongxue Wang, Vijay Varadharajan, Yan Zhang: Towards a Generic Logic for Analysing Network Protocols. ICDCS Workshop on Internet 2000: A19-A26
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongxue Wang, Vijay Varadharajan, Yan Zhang: A Secure Communication Scheme for Multiagent Systems. PRIMA 1998: 174-185

Selection of 9 from 596 records - Yan Zhang has 807 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page