Search

Filters

Use filters to refine the search results.

Now showing items 1-10 of 166

Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification

Patel, Reema; Borisaniya, Bhavesh; Patel, Avi; Patel, Dhiren R.; Rajarajan, Muttukrishnan; Zisman, Andrea (Springer, 2010)
The isomorphism problem for k-trees is complete for logspace

Arvind, V.; Das, Bireswar; Köbler, Johannes; Kuhnert, Sebastian (Elsevier, 2012-08)
Customized PKI for SCADA System

Saxena, Anupam; Pal, Om; Saquib, Zia; Patel, Dhiren R. (Eswar Publications, 2010-03)
Geographically Secured SSL-VPN Using GPS

Patel, Dhiren R.; Limkar, Suresh (Foundation of Computer Science, 2010-09)
Restricted space algorithms for isomorphism on bounded treewidth graphs

Das, Bireswar; Toran, Jacobo; Wagner, Fabian (Elsevier, 2012-08)
On learning mixture models for permutations

Chierichetti, Flavio; Dasgupta, Anirban; Kumar, Ravi; Lattanzi, Silvio (ACM Digital Library, 2015-01-02)
Maintaining privacy and data quality in privacy preserving association rule mining

Modi, Chirag; Rao, Udai Pratap; Patel, Dhiren R. (Institute of Electrical and Electronics Engineers (IEEE), 2010)
A Survey of Database Intrusion Detection Approaches for Database Security

Rao, Udai Pratap; Patel, Dhiren R. (2010-01)
A Survey on Preserving Privacy for Sensitive Association Rules in Databases

Modi, Chirag; Rao, Udai Pratap; Patel, Dhiren R. (2010-03)
Log-Space Algorithms for Paths and Matchings in k-Trees

Das, Bireswar; Datta, Samir; Prajakta, Nimbhorkar (Springer Link, 2013-05)

Now showing items 1-10 of 166