Number of items: 2.
DSouza, D and Holla, R and Kulkarni, J and Raghavendra, KR and Sprick, B
(2008)
On the Decidability of Model Checking Information Flow Properties.
In: 4th International Conference on Information Systems Security, ICISS, 16 - 20 December 2008.
Agarwal, S and Sprick, B
(2005)
Specification of access control and certification policies for semantic web services.
In: E-commerce and Web Technologies, Proceedings Lecture Notes in Computer Science, 3590
.
pp. 348-357.
This list was generated on Thu Nov 21 17:10:49 2024 IST.
