Method and system for managing access to services M Berry, C Gunter, M McDougall US Patent App. 09/841,733, 2002 | 89 | 2002 |
Efficient reachability analysis of hierarchical reactive machines R Alur, R Grosu, M McDougall Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 48 | 2000 |
Method and system for providing secure access to applications R Levas, C Gunter, M Goldstein, H Gao, B Hollin, R Lin, M McDougall, ... US Patent App. 10/339,792, 2003 | 42 | 2003 |
Exploiting behavioral hierarchy for efficient model checking R Alur, M McDougall, Z Yang Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 24 | 2002 |
A model-based approach to integrating security policies for embedded devices M McDougall, R Alur, CA Gunter Proceedings of the 4th ACM international conference on Embedded software …, 2004 | 14 | 2004 |
Credential distribution with local autonomy P Kakkar, M McDougall, CA Gunter, T Jim Department of Computer and Information Science, University of Pennsylvania, 1999 | 7 | 1999 |
Mocha User Manual. Jmocha Version 2.0 R Alur, H Anand, R Grosu, F Ivancic, M Kang, M McDougall, BY Wang, ... | 6 | |
Predictable programs in barcodes A Goodloe, M McDougall, CA Gunter, R Alur Proceedings of the 2002 international conference on Compilers, architecture …, 2002 | 4 | 2002 |
Monitoring assumptions in assume-guarantee contracts O Sokolsky, T Zhang, I Lee, M McDougall arXiv preprint arXiv:1606.00505, 2016 | 3 | 2016 |
Design and analysis of Sectrace: a protocol to set up security associations and policies in ipsec networks A Goodloe, M McDougall, CA Gunter, MO Stehr September, 2004 | 2 | 2004 |
The use and implementation of coding standards for high-confidence embedded systems P Anderson, M McDougall, M Zarins 2008 IEEE Aerospace Conference, 1-10, 2008 | 1 | 2008 |
Modeling and analyzing integrated policies M McDougall University of Pennsylvania, 2005 | 1 | 2005 |
Certificate distribution with local autonomy P Kakkar, M McDougall, CA Gunter, T Jim Active Networks: Second International Working Conference, IWAN 2000 Tokyo …, 2000 | 1 | 2000 |
E cient reachability analysis of hierarchical reactive machines R Alur, R Grosu, M McDougall Proceedings CAV'00 1855, 0 | 1 | |
with Local Autonomy P Kakkar, M McDougall, CA Gunter, T Jim Active Networks: Second International Working Conference, IWAN 2000 Tokyo …, 2003 | | 2003 |
AUTHENTICATED TRAVERSAL A Goodloe, M McDougall, CA Gunter, T Hiller, PJ McCann | | 2002 |