Seguir
Michael McDougall
Michael McDougall
Amazon Web Services
E-mail confirmado em amazon.com
Título
Citado por
Citado por
Ano
Method and system for managing access to services
M Berry, C Gunter, M McDougall
US Patent App. 09/841,733, 2002
892002
Efficient reachability analysis of hierarchical reactive machines
R Alur, R Grosu, M McDougall
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
472000
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
422003
Exploiting behavioral hierarchy for efficient model checking
R Alur, M McDougall, Z Yang
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
232002
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
142004
Credential distribution with local autonomy
P Kakkar, M McDougall, CA Gunter, T Jim
Department of Computer and Information Science, University of Pennsylvania, 1999
71999
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
42002
Monitoring assumptions in assume-guarantee contracts
O Sokolsky, T Zhang, I Lee, M McDougall
arXiv preprint arXiv:1606.00505, 2016
32016
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
22004
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
University of Pennsylvania, 2005
12005
Certificate distribution with local autonomy
P Kakkar, M McDougall, CA Gunter, T Jim
Active Networks: Second International Working Conference, IWAN 2000 Tokyo …, 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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–16