Samrat Mondal (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri: Towards formal security analysis of GTRBAC using timed automata. SACMAT 2009: 33-42

4 Samrat Mondal, Shamik Sural: XML-based policy specification framework for spatiotemporal access control. SIN 2009: 98-103

3 Subhendu Aich, Samrat Mondal, Shamik Sural, Arun K. Majumdar: Role Based Access Control with Spatiotemporal Context for Mobile Applications. Transactions on Computational Science 4: 177-199 (2009)

2 Samrat Mondal, Shamik Sural: Security Analysis of Temporal-RBAC Using Timed Automata. IAS 2008: 37-40

1 Samrat Mondal, Shamik Sural: A Verification Framework for Temporal RBAC with Role Hierarchy (Short Paper). ICISS 2008: 140-147

Selection of 5 from 5 records - Samrat Mondal has 4 coauthors

5		Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri: Towards formal security analysis of GTRBAC using timed automata. SACMAT 2009: 33-42
4		Samrat Mondal, Shamik Sural: XML-based policy specification framework for spatiotemporal access control. SIN 2009: 98-103
3		Subhendu Aich, Samrat Mondal, Shamik Sural, Arun K. Majumdar: Role Based Access Control with Spatiotemporal Context for Mobile Applications. Transactions on Computational Science 4: 177-199 (2009)
2		Samrat Mondal, Shamik Sural: Security Analysis of Temporal-RBAC Using Timed Automata. IAS 2008: 37-40
1		Samrat Mondal, Shamik Sural: A Verification Framework for Temporal RBAC with Role Hierarchy (Short Paper). ICISS 2008: 140-147