Doctor Yun Bai

• Biography
• Areas of Research / Teaching Expertise
• Grants / Current Projects
• Publications
• Contact Details

Biography

Yun Bai received her PhD in computer science in 2000 from the University of Western Sydney Nepean. Currently she is a senior lecturer in the School of Computing and Mathematics at University of Western Sydney. Prior to that, she worked as an associate lecturer at the School of Information Technology, Northern Territory University; teaching assistant at the Mathematical Science Department, University of Alaska Fairbanks USA and associate lecturer at the Management School, Wuhan University China.

^ Back to top

Areas of Research / Teaching Expertise

Yun Bai’s research interests are information security, database security, formal specification and logic reasoning. The nature of the research is to provide a formal specification and reasoning for security rules to protect the information systems.

^ Back to top

Grants / Current Projects

2006, Chief Investigator, UWS Research Scheme Grant. Project Title: : Answer Set Programming for Distributed Authorizations with Delegation. Amount Awarded: $20195.

2003, Chief Investigator, UWS Research Scheme Grant. Project Title: Model Updating Knowledge for the Correctness of Security Protocols. Amount Awarded: $14280.

2001, Chief Investigator, College Research Quantum Grant. Project Title: Integrating Knowledge Dynamics into Security Protocol Checking and Software Verifications. Amount Awarded: $20000

2000, Chief Investigator, UWS Seed Grant. Project Title: The Specification and Implementation of High Level Authorization Rules in Information Systems, Amount Awarded: $6422

^ Back to top

Publications

Y. Bai, On Distributed System Security, International Conference on Security Technology, pp 54-57 2008.

Y. Bai, Reasoning for Incomplete Authorizations, International conference on Knowledge-Based Intelligent Information & Engineering Systems}, pp 278-285, 2008.

Y. Bai, Access Control for XML Document. International Conference on Industrial, Engineering and Other Applications of Applied Intelligence Systems, pp 621-630, 2008.

Y. Bai, On XML Document Security. International Conference on Software Engineering and Data Engineering, pp 39-42, 2007.

Y. Bai, Logic Program for Authorizations. International Conference on Computer, Information and Systems Science and Engineering, pp 425-429, 2007.

Y. Bai, A formal implementation of database security. International Conference on Computer Science, pp 90-92, 2006.

Y. Bai, Reasoning with dynamic domains and computer security. International Conference on Computer Science, pp 93-95, 2006.

Y. Bai, A new approach for conflict resolution of authorization. International conference on Knowledge-Based Intelligent Information & Engineering Systems, pp 290-296 (Part I), 2005.

Y. Bai, Authorizations: Their conflict and resolution. WSEAS Transactions on Computers. 5(5) (2006) 878-884.

Y. Bai, Y. Zhang and V. Varadharajan, On the sequence of authorization policy transformations. International Journal of Information Security. 4 (2005) 120-131.

^ Back to top