Publications 2003
YMD+03
Y. Miyake, J. Millen, G. Denker, T. Tanaka, and K. Nakao.
Notification of Certificate Revocation
Status between Different Domains under a PKI System. Information
Processing Society Japan (IPSJ) Journal, Vol. 44, June 2003.
(PDF)
DKFPS03
Denker, G., Kagal, L., Finin, T., Paolucci, M., and Sycara, K.
Security for DAML Web Services: Annotation and Matchmaking. In Proc. of the 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, USA, 20-23 October, 2003.
(PostScript)
DenTal03
Denker, G. and Talcott, C.
Maude Specification of the MDS Architecture and Examples. CSL Technical Report, SRI-CSL-03-03, December 1, 2003.
(PostScript,PDF)