Papers: Dr. Arosha K Bandara

Journal Articles

1. Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou, Policy Refinement for DiffServ Quality of Service Management (2006) in e-Transactions on Network and Service Management, IEEE, 2006, More>
   
   

Conference and Workshop Papers

1. Arosha Bandara, Jorge Lobo, Seraphin Calo, Emil Lupu, Alessandra Russo, Morris Sloman, Toward a Formal Characterization of Policy Specification & Analysis presented at: Annual Conference of ITA (ACITA), University of Maryland, USA, 2007-08, More>
   
   
2. Arosha Bandara, Antonis Kakas, Emil Lupu, Alessandra Russo, Using Argumentation Logic for Firewall Policy Specification and Analysis presented at: 17th IFIP/IEEE Distributed Systems: Operations and Management (DSOM), Springer Verlag, 2006, More>
   
   
3. Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha Bandara, Naranker Dulay, Emil Lupu, Javier Rubio-Loyola, Alessandra Russo, Morris Sloman, Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management presented at: IFIP/IEEE Network Operations and Management Symposium (NOMS 2006), IEEE Computer Society, 2006-03, More>
   
   
4. Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Javier Rubio-Loyola, Policy Conflict Analysis for Quality of Service Management (2005) presented at: 6th IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2005), 2005-05, More>
   
   
5. Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou, Policy Refinement for DiffServ Quality of Service Management (2005) presented at: 9th IFIP/IEEE Intl. Symp. on Integrated Management (IM 2005), 2005-04, More>
   
   
6. Arosha Bandara, Emil Lupu, Jonathan Moffett, Alessandra Russo, A goal-based approach to policy refinement (2004) presented at: 5th IEEE international workshop on policies for distributed systems and networks (POLICY 2004), IBM T J Watson Res Lab, Yorktown Heights, NY, IEEE Computer Soc, 2004-05, ISBN: 0-7695-2141-X, More>
   
   
7. Arosha Bandara, Emil Lupu, Alessandra Russo, Using Event Calculus to Formalise Policy Speciflcation and Analysis (2003) presented at: 4th IEEE International Workshop on Policies for Distributed Systems and Networks, Lake Como, Italy, 2003, 2003-05, ISBN: 0-7695-1933-4, More>
   
   

Other Publications

1. Arosha Bandara, A Formal Approach to Analysis and Refinement of Policies (PhD Thesis), Imperial College London, Department of Computing, 2005-06, More>
   
   

CategoryPeople, CategoryPapers