Michael McDougall
Michael McDougall
Amazon Web Services
Verified email at amazon.com
TitleCited byYear
Method and system for managing access to services
M Berry, C Gunter, M McDougall
US Patent App. 09/841,733, 2002
732002
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
402003
Efficient reachability analysis of hierarchical reactive machines
R Alur, R Grosu, M McDougall
International Conference on Computer Aided Verification, 280-295, 2000
392000
Exploiting behavioral hierarchy for efficient model checking
R Alur, M McDougall, Z Yang
International Conference on Computer Aided Verification, 338-342, 2002
222002
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
132004
Credential distribution with local autonomy
P Kakkar, M McDougall, CA Gunter, T Jim
Department of Computer and Information Science, University of Pennsylvania, 1999
71999
Predictable programs in barcodes
A Goodloe, M McDougall, CA Gunter, R Alur
Proceedings of the 2002 international conference on Compilers, architecture …, 2002
52002
Mocha User Manual. Jmocha Version 2.0
R Alur, H Anand, R Grosu, F Ivancic, M Kang, M McDougall, BY Wang, ...
5
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
42004
Monitoring assumptions in assume-guarantee contracts
O Sokolsky, T Zhang, I Lee, M McDougall
arXiv preprint arXiv:1606.00505, 2016
12016
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
12008
Modeling and analyzing integrated policies
M McDougall, CA Gunter, R Alur
University of Pennsylvania, 2005
12005
Certificate distribution with local autonomy
P Kakkar, M McDougall, CA Gunter, T Jim
IFIP International Working Conference on Active Networks, 277-295, 2000
12000
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
The system can't perform the operation now. Try again later.
Articles 1–16