Doctor Yun Bai
DAP - UNDER GRAD COMPUTER SCIENCE,
Computing & ICT
SENIOR LECTURER,
Deans Unit School of Computing, Engineering & Math
Personal
Qualifications
- MEng Wuhan University, China
- BSc Wuhan University, China
- MSc University of Alaska Fairbank
- PhD University of Western Sydney,Nepean
UWS Organisational Unit (School / Division)
- Computing & ICT
- Deans Unit School of Computing, Engineering & Math
Contact
| Email: | Y.Bai@uws.edu.au |
|---|---|
| Extension: | 2335 |
| Mobile: | |
| Location: | Y.2.16 Penrith (Kingswood) |
| Website: |
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.
This information has been contributed by Doctor Bai.
Interests
- Database Security
- Formal Specification
- Information Security
- Logic Reasoning
Publications
Journal Articles
- Hu, J., Khan, K., Bai, Y. and Zhang, Y. (2012), 'Compliance checking for usage-constrained credentials in trust negotiation systems', Lecture Notes in Computer Science, 16.
- Hu, J., Khan, K., Bai, Y. and Zhang, Y. (2012), 'Tracking and constraining authorization provenance', Lecture Notes in Computer Science , 10.
- Hu, J., Khan, K., Bai, Y. and Zhang, Y. (2012), 'Tracking and constraining authorization provenance ', Lecture Notes in Computer Science , 10.
- Bai, Y. (2010), 'A formal approach for securing XML document', International journal of secure software engineering, 13.
- Bai, Y. (2006), 'Authorizations: Their conflict and resolution', WSEAS Transactions on Computers, 7.
- Bai, Y. (2006), 'A Formal Implementation of Database Security', Proceedings of the 3rd International Conference on Computer Science, 3.
- Bai, Y. (2006), 'Reasoning with Dynamic Domains and Computer Security', Proceedings of the 3rd International Conference on Computer Science, 3.
- Bai, Y., Zhang, Y. and Varadharajan, V. (2005), 'On the Sequence of Authorization Policy Transformations', International Journal of Information Security, 12.
- Bai, Y. and Zhang, Y. (2004), 'Artificial Intelligence in Database Security', International Journal of Pattern Recognition and Artificial Intelligence, 15.
- Bai, Y. and Varadharajan, V. (2003), 'On transformation of authorization policies', Data and Knowledge Engineering, 25.
- Zhang, Y., Cheng-Min, W. and Bai, Y. (2001), 'Implementing prioritized logic programming', Artificial Intelligence Communications, 14.
Conference Papers
- Bai, Y. and Zhang, Y. (2012), 'Constraint-enhanced role engineering via answer set programming', ACM Symposium on Information, Computer and Communications Security, Seoul, Korea.
- Bai, Y. and Khan, K. (2011), 'A Modal Logic for Information System Security', Australasian Information Security Conference, Perth.
- Bai, Y. and Policarpio, S. (2011), 'On Cloud Computing Security', Recent Trend in Wireless and Mobile Networks, Ankara, Turkey.
- Policarpio, S. and Bai, Y. (2011), 'An Implementation of Axml(T): An Answer Set Programming based Formal Language of Authorisation for XML Documents', Recent Trands in Wireless and Mobile Networks, Ankara, Turkey.
- Bai, Y. (2009), 'A Modal Logic for Authorization Specification and Reasoning', IEEE International Conference on Intelligent Computing & Intelligent Systems, Shanghai, China.
- Bai, Y. (2009), 'A Knowledge Based Formal Language for Securing Information Systems', Knowledge Based and Intelligent Information and Engineering Systems, Santiago, Chile.
- Bai, Y. (2008), 'On Distributed System Security', The 2008 International Conference on Security Technology, Hainan, Island. China.
- Bai, Y. (2008), 'Reasoning for Incomplete Authorizations', 12th International conference on Knowledge-Based Intelligent Information & Engineering Systems, Zagreb, Croatia.
- Bai, Y. (2008), 'Access Control for XML Document', 21st International conference on Industrial, Engineering and Other Applications of Applied Intelligence Systems, Wroclaw, Poland.
- Bai, Y. (2007), 'Logic Program for Authorizations', International Conference on Computer, Information and System Science & Engineering, Bangkok, Thailand.
- Bai, Y. (2007), 'On XML Document Security', International Conference on Software Engineering & Data Engineering, Las Vegas, USA.
- Bai, Y. (2005), 'A New Approach for Conflict Resolution of Authorization', The 9th International Conference, KES 2005, Melbourne.
- Zhang, Y. and Bai, Y. (2003), 'The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs', The 14th International Symposium, ISMIS 2003, Maebashi City, Japan.
- Zhang, Y. and Bai, Y. (2003), 'G-STRIPS - A Generalized STRIPS System for Handling STate Change over Dynamic Domains', The 14th International Symposium, ISMIS 2003, Maebashi City, Japan.
- Bai, Y. (2002), 'Towards Secure Object Oriented Database Systems', Confederated International Conferences CoopLS, DOA, and ODBASE 2002, Irvin, California.
- Bai, Y. and Zhang, Y. (2002), 'AI Application in Secure Database Systems', Knowledge-Based Intelligent Information Engineering Systems and Allied Technologies, Crema, Italy.
- Bai, Y. and Zhang, Y. (2002), 'A Formal Semantics of Hybrid Symbolic-Neural Networks for Commonsense Reasoning', Knowledge-Based Intelligent Information Engineering Systems and Allied Technologies, Crema, Italy.
- Bai, Y. and Zhang, Y. (2001), 'On the Computational Aspect of Rule Based Database Updates', The 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence, Budapest, Hungary.
Research
Current Projects
| Title: | An answer set programming approach for specification and verification of distributed authorizations in complex environments [via Qatar Uni] |
|---|---|
| Years: | 2010-12-01 - 2013-11-30 |
| ID: | P00017882 |
| UWS Researchers: | Yan Zhang and Yun Bai |
| Funding: |
|
Previous Projects
| Title: | The specification and implementation of high level authorisation rules in information systems |
|---|---|
| Years: | 2000-05-12 - 2001-05-31 |
| ID: | P0012930 |
| UWS Researchers: | Yun Bai |
| Funding: |
|
| Title: | Answer Set Programming for Distributed Authorisations with Delegation |
| Years: | 2006-12-20 - 2008-01-03 |
| ID: | P0015412 |
| UWS Researchers: | Yun Bai and Yan Zhang |
| Funding: |
|
| Title: | Model updating knowledge for the correctness of security protocols |
| Years: | 2004-02-16 - 2005-02-15 |
| ID: | P0011588 |
| UWS Researchers: | Yan Zhang and Yun Bai |
| Funding: |
|
