A Query based Formal Security Analysis Framework for Enterprise LAN. - Padmalochan Bera; Soumya Maity; Soumya Kanti Ghosh 001; Pallab Dasgupta (CIT, 2010)

A SAT Based Verification Framework for Wireless LAN Security Policy Management Supported by STRBAC Model. - Padmalochan Bera; Soumya Maity; Soumya Kanti Ghosh 001; Pallab Dasgupta (CNSA, 2010)

Generating policy based security implementation in enterprise network: a formal framework. - Padmalochan Bera; Soumya Maity; Soumya Kanti Ghosh 001 (SafeConfig, 2010)

A mobile IP based WLAN security management framework with reconfigurable hardware acceleration. - Soumya Maity; Padmalochan Bera; Soumya Kanti Ghosh 001 (SIN, 2010)

A Cognitive Trust Model for Access Control Framework in MANET. - Soumya Maity; Soumya Kanti Ghosh 001 (ICISS, 2012)

Policy Based ACL Configuration Synthesis in Enterprise Networks: A Formal Approach. - Soumya Maity; Padmalochan Bera; S. K. Ghosh (ISED, 2012)

Enforcement of access control policy for mobile ad hoc networks. - Soumya Maity; Soumya Kanti Ghosh 001 (SIN, 2012)

Optimal negotiation of SLA in federated cloud using multiobjective genetic algorithms. - Soumya Maity; Arindam Chaudhuri (CloudNet, 2014)

Conflict Resolution in Heterogeneous Co-allied MANET: A Formal Approach. - Soumya Maity; Soumya Kanti Ghosh 001 (ICDCN, 2014)

QoS prediction for network data traffic using hierarchical modified regularized least squares rough support vector regression. - Arindam Chaudhuri; Soumya Maity; Soumya Kanti Ghosh 001 (SAC, 2015)

Formal integrated network security analysis tool: formal query-based network security configuration analysis. - Soumya Maity; Padmalochan Bera; S. K. Ghosh; Ehab Al-Shaer (IET Networks, 2015)

PoliCon: a policy conciliation framework for heterogeneous mobile ad hoc networks. - Soumya Maity; Soumya Kanti Ghosh 001; Ehab Al-Shaer (Secur. Commun. Networks, 2015)