DEC it 3

Summary of' AD-A243 508

A ctivities

("'enter/ulnt'-ll ence and

Special Programns

1990

LA Vtjd. for public r.Ieam.

Dirtubutto Umballe

MITRE91-17909

DISCLAIMER NOTICE

pol

THIS DOCUMENT IS BEST

QUALITY AVAILABLE. THE COPY

FURNISHED TO DTIC CONTAINEDA SIGNIFICANT NUMBER OF

PAGES WHICH DO NOT

REPRODUCE LEGIBLY.

Summary of

Professional

AI Activities

Center forIntelligence andSpecial Programs

1990

Aci~eee I ., l

3?4 CI WQr

Avail and/o

LI

Mist, psial

M91-41This document has been approved forpublic release, distribution unhnted.

June 1991

1990 ForewordSummary of

ProfessionalActivities

The MITRE Corporation is an independent not-for-profitorganization devoted to research, development, engineering, and scientific activities in

the public service. The company does not manufacture products or compete withindustry.

After a reorganization in 1990, MITRE expanded fromthree to five operating centers. Personnel from two of the centers are located primarily

at our headquarters in Bedford, Massachusetts (with one technical division located inthe Washington area). These two centers are the Center for Air Force Command,Control, and Communications (C3) Systems and the Center for Intelligence and SpecialPrograms. The remaining three operational centers are based in McLean, Virginia., theWashington C3 Center, the Center for Advanced Aviation System Development, and

the Center for Civil Systems.

The Center for Intelligence and Special Programs supportsthe Air Force Electronic Systems Division (ESD), the Army and Navy, a wide varietyof intelligence agencies, and the Unified and Specified Commands. The Centerprovides system engineering support to components of the intelligence community,particularly in the areas of networks, information security, artificial intelligence, andworkstation technologies.

This publication is an overview of the professional activi-

ties of the Center for Intelligence and Special Programs for the 1990 calendar year. Asin past years, our employees have made valuable contributions to the technical and

scientific communities through their documents, journal articles, presentations, andparticipation in group activities. Many of our staff teach in local colleges and universi-

ties. Unclassified reports generated within the Center for Intelligence and SpecialPrograms are listed here, as well as participation of our staff in professional and

honorary organizations.

We are proud of our employees and their many professional

activities, successes, and contributions to the community. We are pleased to recognizethem in this Summary of Profeisional Activities publication.

Victor A. DeMarines

Semor Vice President and General ManagerCenter for Intelligence and Special Programs

This document has been approvedJoi public release.distribution unlimited

-I

1990 Table ofSummary of ContentsProfessional

Activities

MITRE Conferences, Workshops, Symposia, and Fairs I

MITRE Technical Reports 3

Presentations at External Conferences 11

Papers Published in Refereed Professional Journalsand Conference Proceedings 18

Books 20

External Professional Roles 21

Teaching Appointments 25

Fellows 27

Honors and Awards 29

Professional Societies 30

Honorary Societies 33

A view, of work in progresson MITRE-Bedford'sM-Building, Spring 1991.

1990 MITRESummary of Conferences,

Profesvional Workshops,Activities Symposia,

and Fairs

These events were 24-25 May 17-18 Octobersponsored or organized by MITRE Supercomputing Air Force AssociationMITRE, and included Workshop, MITRE- (AFA) Intelligence

7' participants fiom outside Washington Symposium, MITRE-

MITRE. Bedford6 June

15 March Local Area Network 18-20 November

Third Symposium on Technology Review, Technical ExchangeParallel Computers, MITRE-Bedford Meeting VIII,MITRE-Washington Charlottesville, Virginia

19-21 June15 April COTS Integration Work- 21 December

Object-Oriented Technol- shop, MITRE-Washington COTS Experiencesogy Day Symposium, Seminar, MITRE-BedfordSecurity in Object- 10-12 JulyOriented Database MITRE Workshop onSystems, Object-Oriented Object-Oriented DesignProgramming, and Methodologies, Washing-Discrete Event Simula- ton, D.C.tion in MODSIM II andSmall Talk-80, Bedford, 21-22 AugustMassachusetts COTS Integration Work-

shop, "Local Area

23 May Network Security,"GOSIP Awareness Day MITRE-WashingtonSymposium, MITRE-Washington 10-11 October

Industrial Security

24 May Working Group (ISWG)GOSIP A.wareness Day Meeting, MITRE-BedfordSymposiLm, MITRE-Bedford

m ilm m m m m i • m I

The work oft/he Intelli-gence and Electronic'Waifare Systemis Division(G030) includes imagepro(cssing, enploitation,and disseminati in projectsfor intelligence applica-tions Shown het e is theJohint Service ImiagerYProcessing.Svs~eni (iSIPS)inistalled at a site ini

Germany fir hield testand evaluation

2

1990 MITRESummary of Technical

Professional ReportsActivities

The titles o; 13 classified Berkovits, Shimshon, Caddick, Elaine M.,

reoorts h- Ye been omitted Furlong, Judith A., GIlt

Irom this list. Smith, Louise C., GIIO Security-Relevant Docu-

Authentication in Distrib- ments Developed During

Abrams, Marshall D., uted Systems, MTR- System Acquisitions,

W140, 10991, November 1990. MTR-10869,

Eggers, Kenneth W., April 1990.

WIS0, Boyle, Eugene J., G140

LaPadula, Leonard J., Project 849A MITRE Cannell, Marshall H.,

GIIO, Quarterly Activity Report, G030

Olson, Ingrid W., W140 MTR-90W000 5 1, August Scenario Generator

A Generalized Framework 1990/December 1990. Operator's Manual, MTR-

for Access Control: An 10995, September 1990.

Informal Description, MP- Bradshaw, Charles F.,

90W00043, August 1990. G140, Scenario Generator

Herman, Gregory, Software Maintenance

Barlas, Julie S., GII0 Former MITRE Manual, MTR-10994,

Computer-Aided Software Employee, September 1990.

Engineering Tools Survey Wiggert, Djimitri,

for Verification Use, Former MITRE Cannell, Marshall H.,

MTR-10730, February Employee G030,

1990. Error Control Coding for Knight, J.P., Former

Nonlinear Satellite MITRE Employee,

Bartee, Thomas Q., Channels, MTR- Kofstad, Kent A., G030,

Katkin, Raphael D.,G140 90W00 145, October 1990. Summers, Jayne P.,

Independent Portable G030

Analyst Workstation Breen, Paul T., D060, Electronic Support

(IPAWS) Participation it, Broder, Alan J., Former Measures Interface Unit

the BLACKER Packet- MITRE Employee, Specification, MTR-

Switching Node (BPSN) Gordon, Scott E., G030. 10488, Rev., 1, January

and Integrated Tactical Johns, James R., GI0, 1990.

Data Network (ITDN) Masterman, Hugh C..

Demonstrations, MTR- D060, Carlton, David B.,

9OW001 IZ, October 1990. Veron, Harry H., D060, Farmer, William M.,

Wittenburg, Timothy Guttman, Joshua D.,

Bensley, Edward H., M., G030, Monk, Leonard G.,

Brando, Thomas J., McCarley, Nancy E., Ramsdell, John D., GIIO

Fohlin, James C., W140, VLISP, A Verified Lan-

Lambert, David W., Greenwood, Dorothea guage Implementation

Leivent, Jonathan I., G., W 140 Year-End Report, MTR-

Prelle, Myra Jean, AppendA: Technology 11043, November 1990.

Watro, Ronald J., Assessmentsfor the

Wollrath, Ann M., G 110 Modular Environmentjor

Fault-Tolerant Concurrent Dejense Imagery Anal-

Object-Oriented Computa- y. si (MEDIA) Systems

tion, MTR- 10984, October Stud ., MTR-90W00159,

1990.. December 1990.

3

1990 MITRESummary of TechnicalProfessional Reports

Activities

Colley, Thomas J., Crews, William H., Fain, Bahaa W., G030Montella, Louis, Connors, Cheryl L.,G140 The Doppler DirectedGuay, Patricia J., GI10 COMMANDO RUNNER Search Algorithm, MTR-Technical Description: A System Description, MTR- 11005, October 1990.Smart Card Low-Cost 10739, Rev. 1, SeptemberEncryption Authentication 1990. Faro, Bahaa W.,Device (SCLEAD), MTR- Forkert, Ernest A.,10752, September 1990. Dia, Januario P., GII0 Gordon, Scott E.,

Survey of Commercial Off- Knight, Joseph M., G030Collins, Marie S., GII0 the-Shelf TCP/IP-Based Synthetic Aperture RadarThe Design and Imple- Network Management Image Compression Using

mentation of a Secure Systems, M90-89, Novem- the Multi-State Coding

Update Processor, MTR- ber 1990. Scheme, MTR- 10998,10977, October 1990. March 1990.

Dia, Januario P.,

Costa, Cheryl A., Carter, H. Elston, Farmer, William M.,Gosselin, Michelle J., Firey, Jeanne S., G110 GII0GI0 Evaluation of First A Partial FunctionsRecommended and Generation Commercial Version of Church'sCandidate Securitv Off-the-Shelf TCP/IP- Simple Theory of Types,Products for NETCAP, Based Network Manage- M88-52, Rev. 1, February

MTR- 11047, December ment Systems, M90-87, 1990.1990. November 1990.

Ford, William R.,Costa, Manuel J., GI10 Durk, Fay S., O'Keeffe, Jonathan P.,

Security Assessment qfthe Morrissey, Shaun P., Thuraisingham, BhavaniAttiliary Vector Manage- Nance, Jack B., M., GII0ment System, MTR-10957, Crawford, David W., Database lnference

September 1990. Seliverstov, Dima, G030 Controller -An Over-User Manualfor Project view. MTR-10963, Vol. 1,

Costa, Manuel J., SIX Programs, M89-7 1, August 1990.Hung, Jean J., January 1990.Kim, Willis A., GII0 Gamota, George, A010Auxiliary Vector Manage- Edelstein, Roy S., Gaining Ground: Com-

ment System Administra- Meagher, Nancy L., GI0 parison of U.S. andtive Transaction Protocol Interconnects for Militarv Japanese Technology,Test Plan, MTR-10954, Systems, M90-23, May M90-91, November 1990.

September 1990. 1990.Gates, Eleanor R.,

Cressy, Allan S., High-Speed Packet Rigby, Robert N., GI0Ray, Rajib, Interconnect for Militai Preliminary Specification

Roberts, Barbara H., Systems, MTR- 10968, jor SAC Model SiteTeeter, Stanley L., September 1990. System, MTR- 11027,Wallace, Sandra D., GI0 November 1990.Peace Shield ODPS LANPerformance, MTR-10961, August 1990.

4

I-

Goldstein, Mark J., Gl10 Greenwood, Dorothea G., Horowitz, Barry M.,USAFE Guard System McCarley, Nancy E., A010Accreditation Manage- G140 Technical Centers atment Plan, MTR-104 10, Modular Environment for MITRE, M90-35, JuneMarch 1990. Defense Imagery Analysis 1990.

(MEDIA) Systems Study,Gramenopoulos, MTR-90W00160, Decem- Modernized Electronics inNicholas, ber 1990, DOD Systems, M90-48,Harbaugh, John H., August 1990.Orphanos, Lewis J, G140 Hamisevicz, Nicholas T.,Directed Energy Applica- Virostek, Ronald F., Hunter, Chad D., GI10tions in Naval Warfare: G140 Debugging HighlyVolume I,, MTR- An Automated Scenario Parallel Programs:90W00095, May 1990. Generation System for Toward Fundamental

Tactical Ground Forces,, Techniques, MTR- 11046,DEW Intelligence Collec- MP-90W00042, April December 1990.tion Plan, Volume 1: DEW 1990.Impact on Navy, MTR- Hutchinson, Danny H.,90W00095-01, September Harris, Richard M., G1401990. D014, "A Demonstration Model

Hosage, Brent A., D070, of the Electronic WarfareDEW Intelligence Collec- Jacobus, Roy W., A030 Commonality Assess-tion Plan, Volume I1: Technical Centers, M90- ment," MTR-90W00122,

Collection Sensors and 59, October 1990. Ser. 1, August 1990.Program Plan,, MTR-W00095-02. September Heaney, Jody E., G140 A Demonstration Model of

1990. Modeling Type Enforce- the Electronic Waifarement for the Logical Commonality Assessment

Graubart, Richard D., Coprocessing Kernal Methodology - FinalG110 (LOCK), MTR- Report, MTR-90W00 122,

The Impact of Primary 90W00 187, December Ser. 2, August 1990.and Secondary Access 1990.Methods on DBMS A Demonstration Model ofSecurity, MTR-10756, Heinle, Patricia E., the Electronic WatfareOctober 1990. Rebovich, George, Jr., Commonality Assessment

G030 Methodology - Appendi-

Greenwood, Dorothea STANAG 4162, Annek D ,, ces, MTR-90W00122,G., G140 Part 5, IDBO, M90- t, Ser. 3, August 1990.Appendix: Technology January 1990, Rev. 1,Assessments for the April 1990.Modular Environment foiDejense Imagery Anal- SIANAG 4162, AnneA D,,ysis (MEDIA) System Part 3. Flight Plans andStudy, MTR-90W00159, Procedural Routing, M90-December 1990. 25, April 1990

5

1990 MITRESummary of Technical

Professional ReportsActivities

Jacobus, Roy W., A030 Kawa, Susan Q., LaPadula, Leonard J.,Personnel and Organiza- Nakamota, Glen, G030 LeMoine, Julie E.,tion Charts for the Eight Image Storage and Vukelich, Daniel F.,MITRE Technical Centers Retrieval System User's Woodward, John P.L.,Located at Bedford, Manual, MTR- 11030, G110Massachusetts, M90- 12, September 1990. DNSIX Detailed DesignFebruary 1990. Specification. Version 2,

Image Storage and MTR- 10704, April 1990.Personnel and Organi- Retrieval System Interfacezation Charts, M90-33, Guideline. MTR- 11029, LaPadula, Leonard J.,May 1990. Septembet 1990. LeMoine, Julie E.,

Vukelich, Daniel F.,Statistical Project Data on Kofstad, Kent A., G030 Berger, Jeffrey L.,the Bedford Technical Proposed lCD for- ESM Woodward, John P.L.,Centers, M90-54, Septem- Sensor -CE Data Link, 6110ber 1990. MTR- 10383, Rev. 4, DNSIX Interface Specifi-

September 1990 cations, Version 2, MTR-Jameson, William A., 10684, April 1990.Sexton, Michael S., Krantweiss, Gerald,Greenwood, Dorothea G030, Litvintchouk, Steven D.,G., G6140 Lee, Kathy L., G030, GiINDX 1992 Concept of Passin, Thomas B., D090, Object-Oriented Discrete-Operations, MTR- Smith, Irving R., G030 Event Simulation in90W00 162, September 11PM Final Report MODSIM II, MTR- 10898,1990. Volume 2 Selected May 1990.

Antenina ElectricalJaneri, John V. A., Characterizations and Makhlouf, Mahmoud A.,Blarlas, Julie S., GI110 GEMACS Analysis, D070,Specification Browser MTR-107 15, Vol. 2, James, John H., D070,High-Level Design February 1990. Lambert, David W.,GIIOConcepts, MTR- 1107 7, Petormance AssessmientDecember 1990. Krishnan, Ananth, G6140 of ClI Svstems. M89-73,

Transit ion Plant and February 1990.Jones, John L., Operability between LCC-Troy, Gregory J., G 140 E ASAS and TCAC, MTR- Marcotte, Richard A.,Description and Assess- 9{)WO()74, April 1990. Mulvehill, Alice M.,GI110mneit, MTR-90W00 18 1, Field Mill Year-EndSeptember 1990. Lafferty. Edward L., Report 1989-90, MTR-

Hunter, Chad D., 6110 10890, June 1990.Parallel Comnputing, FY90Final Report, MTrR-10985, October 1990.

6

Marcotte, Richard A., Millen, Jonathan K., Nill, Norman B.,Neiberg, Maurine J., Bodeau, Deborah J., Bouzas, Brian H., G030Piazza, Richard L., GIlO Image Quality Assessment

Holtzblatt, Lester J., Dual-Label Model for the via Digital Power Spec-

GIlO Compartmented-Mode trum Analysis,. MTR-Model-Based Diagnostic Workstation, M90-51. 10921, October 1990.

Reasoning Using VHDL, August 1990.MTR- 1049, December Olson, Ingrid M.,

1990. Miller, David T., 0110 Abrams, Marshall D.,051 Routing and Evalua- G140

Marshall, Ralph J., G 110o, tion of Multiprotocol Computer Access Con-

Sobelman, Beverly H., Routers, M90-63. Septem- trol Policy Choices,

Former MITRE ber 1990. MP9IWO0OO1, Decem-

Employee ber 1990.Portable Natural Lan- Montella, Louis, G0110guaige Database Interface Executive Summary: Orsborn, James T.,

Project Year-End Report, Mission Planning Cente? I Wereta, Margo H., G0110

MTR- 1 0793, January Electronic Gene,,ation High Speed Networking.

1990. Accounting and Distribu- The F'oundation, M90-61,tion S ' steniSingle Point September 1990.

Martino, Richard P., Keving Interoperahilit.y

Caddick, Elaine M., Feasibilit ' Study, MTR- Otin, Jean-Paul, G0110

(:harron, Andrew S., 10975, Vol. 1, September Giaphical User Interface

G110 1990. Technology Based on the

Sv~tm Spcifiatio foiX Window System. M90-

the IJOWIS Automated Morrissey, Shaun P., 76, October 1990.

Me,%saye tlatndli, Sys%%tem, D~urk, Fay S.,NITR-l1095 1, November Nance, Jack B., Parker, Richard L., G110

I190. Crawford, Pavid W., Laver 2 Set-ut it), Services

Seliverstov, Dima, G030 lor LANs, MITR- 10972,

.McI~aughlin, Ann V., Ptoject SIX ESM Simula- September 1990.G0110 nion Suite, MTR- 11024,(051P 1 9S4 K 400 Novembei 1990. Picciotto, Jeffrey, GI110

Intet opet abilitv Testing, fT? Uc~td X '3 itidowl Systeml,

M90-90, December 1990. Mulvehill, Alice M., ; oluttie I Design Over-

G110 view, MTP-288, Vol. 1,

Mercier, Michelle, W110 Computei C'at e ('ette? February 1990./99)(I.Annotated ('otupute; Project Year Eid Repoit

Se urit ' Riblogitiph "v, 1989-90, MTR- 10(9)19. Trusted X Window Svalem.

ITR -9654, Rev.,May June 1990. Volunte 2 Set urit 'v

1 9901 Set vit es Client DetailedDesign, MTP-288, Vol 2,October 1990.

I 1990 MITRESummary of Technical

Professional ReportsI Activities

Prelle, Myra Jean, Shirey, Robert W., G140 Summers, John F., G030,Brando, Thomas J., Defense Message System Kirkland, Anne M.,Bensley, Edward H., Security Classification D090,Leivant, Junathan I., Guide, MTR-90W001 13, Fain, Bahaa W., G030,GIIO December 1990, Olson, Sherry L., G030,Distributed Object- Lepley, Margaret A.,Oriented Programming Defense Message System G030FY90 Final Report, MTh- Initial Security Policy, Target Extraction in11058, December 1990. MTR-90WO01 14, Decem- Multisensor Imagery,

ber 1990. MTR-10799, FebruaryProvenzano, Patricia A., 1990.D060, Smith, Louise C., GIIORebovich, George, Jr., Comparison Betwceen the Thu raisinghain, Bhavani,G030 MGSIADM and MGS GIlOA Co variance Analysis for MLS-100 Versions of the Mathematical Formalismsan AOA-AOA ESM Multinet Gateway System., fior Multilevel Object,Tracking S * stem, MTR- MTR- 1103 1, November Oriented S ' ierns, MTP-10743, October 1990. 1990. 293, June 1990.

Rebovich, George, G030 Smotroff, Ira G., Gi110 Multilevel Security IssuesNVIS Emiployment Arc/iitec- Dataflow Architectures, in Distributed Database

tuein anl F-IS Net, M90- Fle~kible Platforms Jarn Management Sy'Nstems,32, June 1990, Neural Network Simula- MTP-297, July 1990.

tion, M90- 10, JanuaryRipley, Michael W., G030 1990. Nonmionotonic TypedIINCOAINEJ ISentinel Multilevel Logic forByte Database Design and Stevens, Roger T., G030 Multilevel Data/KnowI-Implenientation Study'.v Conimunications (in( edge Base ManacgenientMTR- 10907, June 1990. Radar Integration Svstemis. MTR- 10935,

Program (C'ARIP), MTR- June 1990.Rubinovitz, Harvey HI., 1079 1, February 1990.Thuraisin-ham, Recur%ion TheoreticBhavani, M., GIIO Stone, Harvey S., G030 Pt operties of the inferent eSecure Distributed Quer ' STANAG 4162, Annie'% D , Pu oblemn in Databa.NePtuocessor - An O ver- Pcrt 2, ESXS M989-40, Secitv, wrP-29 i.'view, MTR-10969, Vol. 1, Rev. 1, May 1990. May 1990.Augu,.t 1990.

Summers, Jay'ne P., G030 Use of ConceptualRybicki, Carolann M, ESAI Maui-Maclane So im tut cs fot HandlingDavid, J. Shane, G 140 linteilace in the TAOM, tict' Itife c't eicc P/ obleun,FORSCOM.Automated M90-46, July 1990. M90-55, August 1990.Intelligence SupportSYstem i FAISS) LAN'Access to DODlIS (L.AD)Matiual, Release 1.0,MTR-90WXJ2 13,No~ernber 1990.

5

Thuraisingham, Bhavani, Williams, Jason R., A010Kamon, Ammiel, G110 Guay, Patricia J., G110 C31 FCRC Year-EndQuery Processing in a Technical Description: A Report Fiscal Year 1990,Trusted Database Man- Biometric Low-Cost MITRE Technologyagement System - Design Encryption Authentication Program, M90-5,and Peiformance Study, Device (BioLEAi)), MTh- August 1990.MTP-292, June 1990. 10753, Vol. 1, June 1990.

C060Tidwell, William A., G140 Technical Description: A Source Selection Refer-Trends in Telecommunica- Biometric Low-cost ence Manual, M90-95,tions II. MTR-90W00047, Encryption Authentication December, 1990.May 1990. Device (BioLEAD), MTR-

10753, Vol. 2, August G110Vukelich, Daniel F., GI110 1990. Security System Engineer-Implementing Trusted i ng.: Project PlanningInterprocess Communica- Winslow, Paul J., G140 Report, MTR- 11039.tion. M90-71, September NSA and DOD Software December 1990.1990. Implementation Guidance

Compared,, MTR-Waks, Norman, A010 90W00 188, NovemberManagement of Very 1990.Large Technical Syi stems,M89-77, .anuary 1990. Woodhouse, Terence J.,

G110P? ojessionallTrenzds in Intelligence lnfrrmationEngineering Management Sv.sem Securit ' Pol v.,and Management Science MTR-8648, SeptemberSuppot t to Senior Manag- 1990.ers in the Public Sector,M89-78, January 1990.

Williams, James Gi,G 110Instantiation Theory,M90-4, January 1990.

9

Intelligence Center Natlonai/Remote

Interfaes AppScauions

Commond nique-~ Problem Sets

TheIu Iti ibuted ht o-cesni Svve'm.s Di tiA Wfl(;I 10) lintttpatev bioth-overnmnent andt ('ofliet -(Wia tet Iitulogy to atsVthe' needs 01 intelig~enceanalysis asqc to newhfin-med D~epartment ot

(enten s Te Uitted State.European Comimand Joit AnahvNiA Centei andc theM4arine CotpA JnteII!(a'n( eCentei at e tivo su m hcentc! A whe'te MITRE

,ente aw task enquiei-.

10

1990 PresentationsSummary of at External

Professional ConferencesActivities

Bayer, Samuel L., G110 "Roadmap to Globally Collins, Marie S., G110"Tough Movement as Interoperable Network "The Inference Problem inFunction Composition," Management Implementa- Multilevel Secure Data-1990 Meeting of the West tions," European Work- base ManagementCoast Conference on shop for Open Systems, Systems," 3rd RADCFormal Linguistics, Brussels, Belgium, 8-12 Database SecurityStanford University, October 1990. Workshop, New York,Stanford, California, New York, June 1990.March 1990. "Needs for an Interna-

tional Management DeRenzo, Emil V.,"Event Reference and Information Library," Edwards, David I.,Property Theory," 1990 Regional Coordinating Owens, Frank E., G140Meeting of the Eastern Committee Workshop," "Communications SystemStates Conference on Tokyo, Japan, 18-19 to Enhance InformationLinguistics, Ohio State, October 1990. Sharing Between Ser-Columbus, Ohio, Septem- vices," 58th Militaryber 1990. Chase, Melissa P., GII0 Operational Research

"Tutorial on KBSA and Society Symposium, 58thBradshaw, Charles F., CASE Technologies," MORS Symposium,G140 Fifth KBSA Conference, Annapolis, Maryland,"Performance ot Type II Syracuse, New York, June 1990.Hybrid ARQ Systems 24-28 September 1990.Using Concatenated 'The Integrated TacticalConvolutional and Reed- Chase, Melissa P., Data Network (ITDN):'Solomon Codes," Tactical Koton, Phyllis A., Multi-Security LevelCommunications Confer- Vilain, Marc B., G110 Tactical Strategic Connecence 90 (TCC 90) Fort "On Analytical and tivity Ihrough ExistingWayne, Indiana, Similarity-Based Classilti- Packet Switching Technol-April 1990. cation," Eighth National ogy," 1190 IEEE Military

Confeience on Artificial Communications Confer-Brusil, Paul J., GI10 Intelligence (AAAI '90), ence, MILCOM '90,"OSI Management Boston, Massachusetts, 29 Monterey, California,Standards and 'heir July-3 August 1990 September 1990.Commercialization," The1990 RADC Network Cheheyl, Maureen H., DeRenzo Emil V., G6140,Management/Control in G110 Washburn, Thomas N.the Tactical Environment "Multilevel Security: An (Martin Marietta)Woikshop, Rome, ew Overview," Systems "'X3.102 Measurements ofYork, 9-11 April 1990. Security Officers Confer- the Integrated Tactical

ence, sponsored by the Data Network," 1990

"Status ot ISO Network Defense lnvestigative IEEE Military Communi-Maaaement Standards Service, Woburn, Massa- cLtions Conference,and impkinentors chusetts, 2 Novembei MILCOM '90, Monterey,.Agreement,," IEEE 1990. California, April 1990Network Operations ,idManagement Symposium,February 1990. San Diego.Ualitorma. 12-14 Febru-ar) 19"(0.

11

1990 PresentationsSummary of at ExternalProfessional Conferences

Activities

Dowling, William A., Farmer, William M., Gramenopoulos,G030 Guttman, Joshua D., Nicholas,"Real-World Performance Thayer, F. Javier, GI0 Selander, John M., G140Assessment of Antijam "IMPS: An Interactive "Multisensor TargetingCommunications," IEEE Mathematical Proof Modeling," 1990 DARPA-Boston Section Lecture System," Logic SPIE Sensor Data FusionSeries on Spread-Spec- Colloquium Series, School Conference, Sensortrum Communications, of Computer Science, Fusion, Orlando, Florida,February-March 1990. Carnegie Mellon Univer- April 1990.

sity, Pittsburgh, Pennsyl-Edelstein, Roy S., G110 vania, 1 November 1990; "Multisensor Target"Interconnects for Military Mathematics Department, Modeling Project,"Systems," 1990 IEEE Harvard University, Intelligence CommunityMilitary Communications Cambridge, Massachu- Modeling Group Confer-Conference (MILCOM setts, 30 October 1990; ence, ICMG Conference,'90), Monterey, Califor- 10th International Confer- Albuquerque, Newnia, 30 September-3 ence on Automated Mexico, January 1990,October 1990. Deduction, Kaiserslautern, Washington, D.C.,

Germany, 24-27 June 1990, Rome, NewEdwards, David L., G140 July 1990. York, November 1990."Integrated Tactical/Strategic Data Network Ford, William R., G110 Graubart, Richard D.,(ITDN) Update," and "The Inference Problem in GIIO,"ITDN Network Manage- Multilevel Secure Data- Louanna Notargiacomo,ment Review," The 1990 base Management G140Rome Air Development Systems," 3rd RADC "Mental Health Delivery-Center (RADC) Network Database Security The Problem Solved?"Management/Control in Workshop, New York, 1990 IFIP Database andthe Tactical Environment New York, June 1990. Security Workshop,Workshop, Rome, New Halifax, England, Septem-York, April 1990. Friedman, David H., ber 1990.

G110Farmer, William M., "Implementation of a Guttman, Joshua D.,G110 Nonlinear Wave Digital G110"PF: 'lhe Basis of the Filter Cochlear Model," "IMPS: An InteractiveIMPS Logic," Types and Mechanics and Biophysics Mathematical ProofLogic Seminar, Labora- of Hearing (Conference), System," 1990 IEEEtory for Computer University of Wisconsin, Symposium on ResearchScience, M.I.T., Cam- Madison, Wisconsin, 25- in Security and Privacy,bridge, Massachusetts, 4 29 June 1990; IEEE Oakland, California, 7-9April 1990. International Conference May 1990.

on Acoustics, Speech &Signal Processing

(ICASSP-90), Albuquer-que, New Mexico, 3--6April 1990.

12

V-1 A

Guttman, Joshua D., LaBarre, Claude E., LaPadula, Leonard J.,Ko, Hai-Ping, GII0 GI10 G110"Verifying a Hardware "TCP/IP Network "Formal Modeling in aSecurity Architecture," Management," RADC Generalized Framework1990 IEEE Computer Workshop on Network for Access Control,"Society Symposium on Management for Tactical Computer SecurityResearch in Security and Networks, Rome, New Foundations WorkshopPrivacy, Oakland, Califor- York, 8-11 April 1990. III, Franconia, Newnia, 7-9 May 1990. Hampshire, 14 June 1990.~Lafferty, Edward L.,

Hamisevicz, Nicholas T., GI10 Lee, Bonita G., G030Virostek, Ronald F., "Computer Technology, "Pattern SpectrumGi40 An Executive Summary," Morphology for Texture"An Automated Scenario BOLD STROKE Senior Discrimination and ObjectGeneration System for Executive Forum on Recognition," 1990 SPIETactical Ground Forces, Software Management, Intelligent Robots andSeventh Annual Workshop Maxwell AFB, Alabama, Computer Vision IX,on Command and Control 20-22 March 1990; 6-8 Boston, Massachusetts,(C2) Decision Aiding," November 1990. November 1990.hosted by the Air ForceInstitute of Technology Keynote speaker, "Al and Lehar, Steven M.,(AFIT), Wright-Patterson Ada - A Good Marriage Howells, Timothy P.,AFB, Dayton, Ohio, 3-5 or a Shotgun Wedding," Smotroff, Ira G., GIIOApril 1990. sponsored by George "Application of Grossberg

Mason University, The and Mingolla NeuralJohnson, Dale M., GII0 Institute for Defense Vision Model to Satellite"Information Flow in Analyses, and the Soft- Weather Imagery,"Nondeterministic Sys- ware Consortium in International Conference,ems," 1990 IEEE cooperation with the ACM on Neural Networks,Symposium on Research SIGAda Al WG and Paris, France, June 1990.in Security and Privacy, AJPO, Reston, Virginia,Oakland, California, 7-9 15 November 1990. LeMoine, Julie E., G110May 1990. "DODIIS Network

Guest speaker, "Ada Security for InformationKatz, Joseph L., GII0, Technology Transition," eXchange," Compart-Smith, Barry D., D040 TRI-Ada '90 Conference, mented Mode Workstation"Range Scheduling Aid," ACM/SIGAda and Application Day, McLean,The Third International Baltimore SIGAda, Virginia, 21 SeptemberConference on Industrial Baltimore, Maryland, 4 1990; Network lineifaceand Engineering Applica- December 1990 Equipment 1990 Vendortions of Artificial Intelli- Information Day, McLean,gence and Expert Systems, Virginia, 27 NovemberIEA/AIE-90, Charleston, 1990South Carolina, July 1990.

13

1990 PresentationsSummary of at External

Professional ConferencesActivities

Maciorowski, Susan M., "Generating Natural "Hookup Security forG030 Language Definitions Synchronous Machines,""Insights into Public/ from Classification IEEE Computer SecurityPrivate Sector Processes," Hierarchies," American Foundations WorkshopGAO/IMTEC Manage- Society for Information III, Franconia, Newment Conference on Science (ASIS) '90 Hampshire, June 1990.Similarities and Differ- Workshop on Classifica-ences between the Public tion Research, Toronto, "Honesty is the Bestand Private Sector, Canada, 4 November Policy," RADC WorkshopSolomons Island, Mary- 1990. on Secure Databaseland, February 1990. Systems, Castile, New

Invited Lecturer, "Ma- York, June 1990.

Marcotte, Richard A., chines That Talk Like YouG110 and Me," at annual Sigma "Single-Level Objects for"Model-Based Diagnostic Xi dinner, Andover- Security Kernel Imple-Reasoning Using VHDL," Newton Theological mentation," 13th NationalVHDL Users' Group Seminary, II November Computer SecurityMeeting, Boston, Massa- 1990. Conference, Washingtonchusetts, 4-6 April 1990. D.C., October 1990.

McKenna, Sean J., G030"System-Level Applica- "Advanced Processing Mulvehill, Alice M.,31 10,tion of Model-Based Techniques," 27th Annual Nicholson, JamesDiagnostic Reasoning," Association of Old Crows (NASA, Kennedy SpaceFourth Leesburg Work- Electronic Warfare Center)shop on R&M CAE in Technical Symposium,, "Expert KnowledgeConcurrent Engineering, Boston, Massachusetts, Techniques Applied to theLeesburg Virginia, 9-1I 23-27 September 1990. Analysis of Electric FieldOctober 1990. Mill Data," Conference on

Millen, Jonathan K., Atmospheric Electricity,Maybury, Mark T., G110 GI10 Kananaskis Provincial"Generating Descriptions, "The Interrogator:. Park, Alberta, Canada,Comparisons, Summaries Protocol Vulnerability 22-26 October 1990.and Recommendations Analysis," Workshop onfrom a Knowledge Based Mathematical Concepts of Mutchler, Carl N.,Tactical Missior Planner," Dependable Systems, Laskowski, Sharon J.,The 3rd International Oberwohlfach, West G6140Conference on Human- Germany, April 1990. "Script Matching andMachine Interaction and Belief Propagation," 5thArtiicial Intelligence in "Security toi Knowledge- IEEE InternationalAeronautics and Space, Based Systems," Work- Symposium on IntelligentODYSSUD, Toulouse, shop on Secure Object- Control,, Philadelphia,Blagnac, France, 26-28 Oriented Systems, Penns) Ivania, Septem-September 1990. Karlsruhe, West Germany. ber 1990.

April 1990.

14

Neiberg, Maurine J., Parker, Richard L., GII0 Rebovich, George, G030GII0 "Layer 2 Security Services "The NATO Identification"Efficient Diagnosis of for LANs," National System EmploymentSequential Circuits Using Computer Security Architecture," 1990 U.S.Design Models," Artificial Conference, Washington, DOD Joint ServiceIntelligence and Advanced D.C., October 1990. Combat IdentificationAutomation Tech~aiques Systems Conference,for Fault Diagnosis and Pease, Barbara J., Gl10 Monterey, California, 4-6Recovery Workshop, "Position of Extending the December 1990.Houston, Texas, General Terminal Inter-June 1990. face Semantics for TFA," Roberts, Barbara H.,

IEEE P1003.8 POSIX GII0Nieporent, Richard, Jr., Transparent File Access "Automatic Simulation ofG140 Committee meetings, New Extended Finite State"ASAS Inter-BFA Orleans, Louisiana, Machines for SessionProtocols," Anny Techni- January 1990. Layer Protocol Verifica-cal Interoperability tion," Simulation Com-Working Group, Ft. Prelle, Myra Jean, GI0 puter Society ConferenceMonmouth, New Jersey,, "Distributed Object- '90, Calgary, Alberta,5 April 1990. Oriented Programming," Canada, 16-18 July 1990.

RADC/COAC Technol-"Use of OSI Protocols for ogy Interchange, 27-29 "Fukushima's NeuralU.S. Army Tactical November 1990. Network," IEEE SiginalCommand and Control Processing, M.I.T.,Applications," NATO OSI Prelle, Myra Jean, GI10, Lincoln Laboratory,Military Symposium (Peer Wollrath, Ann M., GI10, Lexington, Massachusetts,Reviewed), The Hague, Brando, Thomas J.,GI10, IS December 1990.Netherlands, 6-9 Bensley, Edward II.,June 1990. D070 Shirey, Robert W., G140

"The Impact of Selected "Det'ense Message System"TCP/OSI/GOSIP: Tools Concurrent Language Security," Armed Forcesfor Coexistence," UNIX Constructs on the SAM Communications andEXPO Conference, New Runtime System," Electronics AssociationYork, New York, 31 Workshop on Object- (AFCEA) Military/October-2 Novem- Based Concurrent Systems Government Computingber 1990. at OOPSLA/ECOOP '90 Conference and Exposi-

Joint Conference, Ottawa, tion, January 1990.O'Keeffe, ,Ionathan, Canada, October 1990.G(110 "Delense Message System"The Inference Problem in Prescott, Leslie S., G030 Security," 13th NationalMultilevel Secure Data- "'System Architecture tor Computer Securitybase Management Single Site Passive Confeience, October 1990.Systems," 3rd RADC Ranging," 1990 U.S. DODDatabase Security Joint Service CombatWorkshop, New York. Identitication SystemsNess Yomk, Juiie 1990. Conterence, Monteres,

Calitornia, 4- b Decein-ber 1990.

15

1990 PresentationsSummary of at External

Professional ConferencesActivities

Silverman, Robert D., "Thermal Overload Sprung, James G., G140GII0 Induced in Semiconductor "Storage and Transmission"Parallel Polynomial Materials under Single and Requirements," Finger-Arithmetic over Finite Multiple Pulse Free Field print Image Workshop atRings," Cornell Math- Radiation," and "Statisti- the National Institute ofernatical Sciences Institute cal Methods for Estimat- Standards and Technol-Workshop on Computer ing Front-Door Coupling ogy, Gaithersburg,Algebra and Parallelism, Loss," Fifth National Maryland, Septem-Ithaca, New York, Conference on High ber 1990.May 1990. Power Microwave

Technology, West Point "NCIC 2000 Interface"An Analysis of Group Military Academy. 10-15 Requirements Specifica-Orders on Elliptic June 1990. tion," NCIC RegionalCurves," West Coast Working Groups, CarsonNumber Theory Confer- Smotroff Ira G., GI1O City, Nevada, Septemberence, Pacific Grove, "Meteorological Classifi- 19: Atlanta, Georgia,California, Decem- cation of Satellite Imagery September 26-27: Battleber 1990. Using Neura! Network Creek, Michigan, Novem-

Data Fusion," AIRIES 90 ber 27-28; Albany, New

Smith, Chester L., G030 Workshop, Artificial York, November 29-30."Features that Distinguish Intelligence Research ina High Power Microwave the Environmental Thuraisingham, BhavaniWeapon from a Radar or Sciences, Quebec, Canada, M., GI10Jammer," Fifth National 26 September 1990. Presented panel paper,Conference on High "Database SecurityPower Microwave "Meteorological Classifi- Threats, Solutions,Technology, West Point cation of Satellite Imagery Designs and Products," atMilitary Academy, 10-15 Using Neural Network the 6th International DataJune 1990. Data Fusion," IEEE Engineering Conference,

International Joint Los Angeles, California,Smith, Irving R., G030 Conference on Neural February 1990,

"Qualitative Description Networks, San Diego,of Upset Phenomena California, June 1990. "Mathematical Formal-Created by Signal Over- isms for Multilevelload," Querque Crows "The Iterative Atrophy Object-Oriented Systems,"Symposium on Test and Self Scaling Learning Workshop on Object-Evaluation of Advanced Algorithm," Constructive Oriented DatabaseEW Technologies, Sandia and Destructive Learning Security, Karlshrue. WestNational Laboratories, Algorithms Workshop, Gernmany, April 1990.

Albuquerque, New IEEE Conference onMexico, 17-19 Neural Information "Recursion TheoreticApril 1990. Processing Systems - Complexity of the

Natural and Synthetic, Interence Problem inDenver, Colorado, Database Security,"November 1990. Computer Security

Foundations Workshop111, 1-ranconma, Ne "Hampshire, June 1990.

16

"Novel Aptroaches to the Thuraisingham, Bhavani Wefer, Frederick L.,Inference Problem," M., G140"Trusted Distributed Kamon, Ammiel, GII0 "Ins and Outs of HiddenDatabase Management "Secure Query Processing Line Removal," Tem-Systems," and "The in Distributed Database plate Graphics SoftwareInference Problem in Management Systems - (TGS) User NetworkMultilevel Secure Data- Design and Performance Conference, Dallas,base Management Study," 6th Computer Texas, August 1990.Systems," 3rd RADC Security ApplicationsDatabase Security Conference, Tucson,Workshop, New York, Arizona, December 1990.New York, June 1990.

Trostle, Jonathan T.,"Multilevel Security for GI0Multimedia Systems," 4th "The Serial Product ofIFIP Database Security Controlled SignallingWorkshop, Halifax, Systems: A PreliminaryEngland, September 1990. Report," Computer

Security FoundationsPresented two panel Workshop II1, Franconia,papers, "Issues in Trusted New Hampshire,Distributed Database June 1990.Management Systems -

A Position Paper," and Vilain, Marc B., G110"Issues in Multilevel "Getting Serious aboutSecure Object-Oriented Parsing Plans: A Gram-Database Management matical Analysis of PlanSystems - A Position Recognition," EighthPaper," at the 13th National Conference onNational Computer Artificial IntelligenceSecurity Conference, (AAAI '90), Boston,Washington, D.C., Massachusetts, 29 July-3October 1990. August 1990.

"Function Anaphora withReplacement," NinthEuropean Conference onArtificial Intelligence(ECAI '90), Stockholm,Sweden, 6-10 August1990.

17

1990 PapersSummary of Published In

Professional RefereedActivities Professional

Journals andConferenceProceedings

Berger, Jeffrey L., Gl10, Koton, Phyllis A., GII0 Neiberg, Maurine J.,Picciotto, Jeffrey, Gl10, "A Medical Reasoning Gl10Woodward, John P. L., Program that Improves "System-Level Applica-GI10, with Experience," Corn- tions and ResearchCummings, Paul. T. puter Methods and Directions for Model-(Digital Equipment Programs in Biomedicine,, Based Diagnostic Reason-Corporation) Volume 30, Nos. 2/3., ing," Proceedings of"Compartmented Mode (Also appeared in Causal Second AAAI WorkshopWorkstation: Prototype A/ Models: Steps Towards on Model Based Reason-Highlights," IEEE Applications., 1990, ing, Boston, Massachu-Transactions on Software Washington D.C.:, setts, July 1990.Engineering,, Vol., 16, No. Hemisphere Publishing6, June 1990, pp. 608-618. Company.) Shirey, Robert W., G140

"Defense Data NetworkFarmer, William M., Moser, Philip J., G140 Security Architecture,"GII0 "Complex Resonances Computer Conmunicanton"A Partial Fuiictions of Conducting Spheres Review, April 1990.Version of Church's with Glossy Coatings,"Simple Theory of Types," IEEE Transactions on Silverman, Robert D.,.Iournal o'Svnholic Logic, Antennas and Propaqa- G 110Vol. 55, No. 3, September ton., Vol. 38, February "Parallel Polynomial1990, pp. 1269-1291. 1990, pp. 236-240. Arithmetic over Finite

Rings," lournal ofFarmer, William M., Nadel, Mark E., G1I10, Parallel and Di.strthutedRamsdell, John D., Stavi, Jonathan (Bar Ilan Computing., Vol. 10.Watro, Ronald J., GI10 University, Ramat Gan, November 1990,"A Correctness Proof for Israel) pp. 265-27 1.Combinator Reduction "On Models of thewith Cycles," ACM Elementary Theory of (Z, Silverman, Robert D.,Tt ansa( tion on Pro- +, I )," The lournal ol G 110,qramming l.anguages Synbohc Logic,. Vol.. 55, Montgomery, Peter L.and Svwtems, Vol., 12, No. I,, March 1990 (UCLA)No. 1, January 1990, "'An FFT Extension to thepp. 123-134. P- I Factoring Algorithm,"

Matheatu .% of Computa-tion,. Vol. 54, April 1990,

pp. 839-853.

18

Thayer, F. Javier, G110, "Design of LDV -A

Frid, Hermano (Federal Multilevel Secure Data-University of Rio de base ManagementJaneiro) System," IEEE Transac-"An Abstract Version of tions on Knowledge andthe Morse Index Theorem Data Engineering, Vol. 2,and Its Application to No. 2, June 1990.Hypersurfaces of ConstantMean Curvature," Boletirn "Artificial Intelligenceda Sociedade Br-asileira Applications in Data-de Maternatica, Vol. 20, base Security," Comn-No. 2, 1990, pp. 59-4i8. puter Securit ' Journal,

Vol. 6, No. 1, NovemberThuraisinghatn, Bhavani 1990 (Miller FreemanM., G110 Publishers)."Security in Oblject-Oriented Database Thuraisingham, BhavaniSystems,. ournal of M., (ail0,ObJect-Oriented Progi qi- Konar, Ferit (Honeywell),inin'g, Vol. 2, No. 6. Felix, Paul (Honeywell)March/April 1990. -XIMKON -,an Experi

Simulation and Control"Towards the Design of a Program," Ar-tificialSecure Data/Knowledge Intelligenice in Prot c.Base Management Eng'ineering,. AcademicSystem," Data and Press , May 1990, Ed:Knovvllidge Engiiieet ig M. Mavroflopoulos.Jomit nai (North Holland)..Vol. 5, No. 1, March 1990.

19

1990 BooksSummary of

ProfessionalActivities

Books Rodi, Linda L., GI10,

Dalton, R. E. (Vitro

Brusil, Paul J., GIIO Corp.),"The NMSIG: A Phased Pierce, J. A. (VitroApproach to OSI-Based Corp.)Network Management," "Graphical Knowledgechapter in the book, Acquisition for FaultNetwork Management, Diagnosis and Repair,"McGraw-Hill, Delran, chapter in the book,New Jersey, 1990. Readings in Knowledge

Acquisition: Current"The Commercialization Practices and Trends, K.,of OSI Management L. McGraw and C. R,Standards," chapter in the Westphal, eds., Ellisbook, Network Manage- Horwood Ltd., Chichester,ment, McGraw-Hill, United Kingdom, 1990.Delran, New Jersey, 1990.

Stevens, Roger T., G030Brusil, Paul J., Fractal Programming inLaBarre, Claude E., Turbo Pascal, M&TGIIO Books, Redwood City,"Network Management California, 1990.Update: MAP/TOP, TCP/IP, and GOSIP," chapter Fractal Programming andin the book, Network Ray Tracing with C++,Management,, McGraw- M&T Books, RedwoodHill, Delran, New Jersey, City, California, 1990.1990.

Advanced Frac tal Pro-gramming in C, M&TBooks, Redwood City,California, 1990.

20

1990 ExternalSummary of Professional

Professional RolesActivities

J, This category includes for the International Evans, Bruce P., G030MITRE staff who played Organization for Standar- President of Albuquerquea special role (beyond dization's (ISO's) Interna- Chapter, Association ofthat of "member") in tional Standards Profiles; Old Crows.external professional Co-Chair for Advancedorganizations. Planning, Executive Farmer, William M.,

Committee member, GII0Ames, Stanley R., G110 Program Committee Reviewer for the JournalStandards Chair for the member and referee for of Symbolic Logic.IEEE Technical Commit- the Second Internationaltee on Computer Security Symposium on Integrated Gerdeman, Peter, G140and Privacy- IEEE Network Management, Principal Member, ANSIStandards Activity Board; Washington, D.C., April X3BII, American NationalIEEE Standards Coordi- 1991- Program Committee Standards Institute,nating Committee. member, Session Orga- Standards Technical

nizer and Session Chair Committee PromotingBrasie, Ruth A., G030 for the 1990 IEEE Net- Optical Media Inter-First Vice President of work Operations and changeability.Boston Section of Society Management Symposiumof Women Engineers. (NOMS '90), San Diego, Gramenopoulos,

California, February 1990; Nicholas, G140Brusil, Paul J., GI0 Executive Committee Member, Applied ImageryConvenor and Chairman member and Program Pattern Recognitionof the U.S. Department of Committee member for (AIPR) Workshop, and isCommerce's National the 1992 IEEE Network a member of its SteeringInstitute of Standards and Operations and Manage- Committee and Chair-Technology's Open ment Symposium (NOMS man of ConferenceSystems Interconnection '92). Memphis, Tennes- arrangements.Workshop's Network see, March 1992; MemberManagement Special Advanced Planning Graubart, Richard D.,Interest Group and its Committee of the Third GII0liaison to the lnteroper International Symposium OrganiLed and participatedability Technology Asso- on Integrated Network in panel, "Access Controlciation for Information Management. Panama Revisited: A Time for aProcessing - Japan; City, Florida, April 1993; Retrospective," NationalMember of the Executive Secretary of the Institute Computer SecurityCommittee ol the U.S. of Educational Seivices. Conference, OctobcrDepartment of Com- 1990; organized andmerce's National Institute Cooley, Jerry L., GI10 chaired panel, "Tiustedof Standa.ds and Tech- Director of Public Rela- Subject-Based DBMSs,"nology's Open Systems tions, San Antonio Sixth Computer SecurityInterconnection Imple- Computer SocietN, Applications Conference,mentors Workshop: North December 1990.American Open SystemsInterconnection UserDelegate to the Interna-tional Regional WorkshopCoordinating Comnmuttee

21

1990 ExternalSummary of Professional

Professional RolesActivities

Guttman, Joshua D., Koton, Phyllis A., GI10 McLaughlin, Ann V.,GI10 Reviewer for Cognitive G110Referee, National Com- Science Journal: Reviewer Member of the Steeringputer Security Conference: for AAAI Spring Sympo- and Technical CommitteeReferee, IEEE Symposium sium, Spring 1990. for OSINET.on Research in Securityand Privacy; Session LaBarre, Claude E., Mekshes, Michael W.Chair, National Computer G110 G110Security Conference, U.S. Delegate to ISO/1EC Member of the MIL-STD-Washington, D.C. Sc21/WG4 Network 188-131 Video Telecon-

Management; Chair of the ferencing StandardsJacobs, Joel D., GII0 Internet Engineering Task Committee.Internet Activities Board Force (IETF) OSI Internet(lAB), Internet Engineer- Management (OIM) Millen, Jonathan K,ing Task Force (IETF). Working Group. G110Security Area Advisory Reviewer for IEEEGroup (SAAG). LabontW, Robert C., Transactions on Software

(6110 Engineering. Communica-Janeri, John V. A., G110 Co-editor of IEEE tions of the ACM, andReviewer for IEEE Transactions on Educa- ACM Transactions onComputer Maga:inc, lion. Special Issue on Computer S stenA,member of the NASA Self-Contained Member of ProgramHypernedia/CD-ROM Payloads Program. Committee, IEEE Com-Subcommittee of the puter Security FoundationsBoston Computer Society. Lafferty, Edward L., Workshop Ill and 13th

C I0 National ComputerKaseman, Tamara C., "Software and Computer Security Conference.Bigelow, Joseph S., Science Overview," panelBlank, Andrew J., G140 member of The Govern- Nadel, Mark E., G 110NATO Systems Planning ment's Role in Performing Editor, Notre DameGroup for two meetings of Research in the United joul nal o/&,innal I.ogtc.the Allied Command States, 1990 ACMEurope (ACE) Intelligence Eighteenth Annual Nesbit, Robert F., G030Architecture Working Computer Science Member of DefenseGroup. Conference. Washington, Science Board 1990

DC., 20-22 February 1990. Summer Study, "Technol-Ko, Hai-Ping, G110 ogy for Tactical Forces";Mathematical Reviewer Workshop Chairman for Member of Defensefor American Mathemati- AAAI-91 Conference. Science Board 1990cal Societ,: Refetree for Special Study, "Technol-the journal Algorithnta a. ogy Support to Desert

Shield"; Expert witnessfor Senate ForeignRelations Committee onsensors for "Open Skies"Treaty.

22

Nieporent, Richard J., Picciotto, Jeffrey, G110 Ruh, William A., G140G140 MITRE Advisory Corn- ACM Object OrientedMember of the American mittee Representative and Programming Languages,National Standards Technical Liaison Officer Systems, and ApplicationsInstitute (ANSI) X3T5 to the X Consortium; (OOPSLA), Conferencestandards committee Member of the IEEE Committee Member, 1990.responsible for the U.S. Portable Operating Systemcontributions to the Interface for Computer Silverman, Robert D.,development of the Environments (POSIX) G110International Standards Security Working Group; Referee for the TenthOrganization's (ISO) OSI Member of the IEEE IEEE Symposium onReference Model and Technical Committee on Computer Arithmetic;upper layer protocols; Operating Systems Referee for MathematicsChairman of the Sponsor Balloting Group. of Computation Journal.OSI Support ClusterGroup. and is responsible Prelle, Myra Jean, G is,2 Smith, Chester L., G030for obtaining local and Referee, IEEE Transac- Chaired the Session onoutside speakers. The tions Parallel and Distrib- Electromagnetic Environ-objective of the SOS uted Systems; ACM ments at the 1990 IEEEgroup is to provide the Transactions on Computer International SymposiumMITRE technical staff Systems. on EMC, Washington,with an understanding D.C., August 1990;of the problems and Ramsdell, John D., GIIO Panelist at the 1990issues associated with Secretary for the P1178 National Association oftransitioning to GOSIP; Working Group of the Broadcasters Symposium,Initialized and is respon- IEEE Microprocessor September 1990.sible for the overall Standards CommitteeMITRE support to the Standardizing the Scheme Thibodeau, Gregg J.,Center for Excellence in Programming Language. GIIOEducation's Research "Installing and ManagingScience Institute (RSI) Roberts, Barbara H., Workstations," Panelsummer program. RSI is GII0 Member, Engineeringa program that selects Session Chairperson at the Workstations Conferencehighly talented high 1989-1990 Simulation 1990 (EWC 90), Boston,school students for a 6- Computer Society Massachusetts, July 1990.week summer program of Conference '90, Calgary,research and education; Alberta, Canada, 16-18Panel member of Session July 1990; Group Chair-WI - "TCP/IP/GOSIP: person at the 1990-1991A Pathway to Computer Simulation ComputerNetworking," UNIX Society Conference '91,EXPO Conference, New Baltimore, Maryland, 22-York, New York, 31 24 July 1991; Finance andOctober-2 Novembet Budget Chair for IEEE1990. Signal Processing Mini

Conference, April 1991.

23

4 1990 External

5 Summary of ProfessionalProfessional Roles

Activities

Thuraisingham, Bhavani Wales, Charlotte W.,M., G110 G140Member of the Editorial IEEE P610 ComputerBoard of the Journal of Dictionary WorkingComputer Security; Group (Member ofDatabase Security Track Standards Group).Chair at the 6th ComputerSecurity Applications Warren, .James, G140Conference, Reviewer for Organized activities forIEEE Computer, IEEE Subgroup 11, SpecialTransactions on Knowl- Operations-Low Intensityedge and Oata Engineer- Conflict, at the 58thing, IEEE Transactions on MORS Symposium, heldSoftware Engineering, at the Naval Academy,John Wiley and Sons, Annapolis, Maryland, JuneNational Science Founda- 1990.tion, 6th ComputerSec:urity Applications Watro, Ronald J., Gil0Conference, 4th IFIP Reviewer for CumputingDatabase Security Re views.Workshop.

Wefer, Frederick L.,Vilain, Marc B, GI0 G140Area Chair (knowledge 1990 President ofrepresentation) Program Templete GraphicsCommittee of Ninth Software (TGS) UserNational Conference on Network (TUN).Artificial Intelligence(AAAI '91); Area Chair(qualitative reasoning)Program Committee ofTwelfth InternationalConference on ArtificialIntelligence (IJCAI '91);Organizing Committee,Spring Symposium onImplemented KnowledgeRepresentation Systems,sponsored by the Ameri-can Association forArtificial Intelligence;Referee, Journal ofAutomated Reasoning

24

1990 TeachingSummaty of Appointments

ProfessionalActivities

Benitez, Alexander, Cooley, Jerry L., GII0 Mikelskas, Robert A.,G140 Adjunct Faculty, Park G140Instructor, Science/ College. Kelly AFB and Lecturer, Johns HopkinsMathematics Cluster, Lackland AFB Education University GraduateGermantown Campus, Centers, Computer School of Engineering,Montgomery College, Science Department, teaching Computerphysics, electrical engi- "Introduction to Computer Science since 1973.neering, mechanical Programming

engineering. PASCAL;" "Selected Moser, Philip J., G140Topics in Computer Adjunct Assistant Profes-

Bloom, Michael J., G030 Sclence - Introduction to sor, Catholic University ofLecturer in Engineering Data Communications." America Department ofManagement, West- Electrical Engineering,ern New England Labontk, Robert C., Graduate level courses inCollege, Springfield, Gl10 signal processing, andMassachusetts. Adjunct Professor, electromagnetic scattering

Electrical Engineering since 1985.Burger, John D., GII0 Department, WorcesterInstructor, Computer Polytechnic Institute. Mulvehill, Alice M.,Science, Metropolitan G1I0College, Boston Maybury, Mark T., Invited Lecturer, "Knowl-University, GII0 edge Engineering,"

Invited Lecturer, "Plan- University of CentralCavanagh, Mary Ann, ning Multisentential Florida, Florida, 21McQuaid, Rosalie M., English Text," The Human February 1990 and 7GIl0 Computer Interface November 1990."TCP/IP Protocols" and Laboratory, Queen Mary"TCP/IP Protocols Lab and Westfield College, Murphy, Alexander B.,Notebook and Instruction University of London, GI10Manual," Course taught at England, 17 December Guest Lecturer at HarvardNSA, Fort Meade, 1990; Invited Lecturer, University.,Maryland, January 2-5 "Planning Multisentential1990; "Socket Program- English Text," The Human Nadel, Mark E., GIl0ming Training Course" Computer Interface Lecturer, Department ofand "Socket Programming L aboratory, Cambridge Computer Science, BostonLab Notebook," Course University Computer College.taught at NSA, Fort Laboratory, England, 18Meade, Maryland, June December 1990.12-14 1990.

25

1990 TeachingSummary of Appointments

ProfessionalActivities

Nieporent, Richard J., Vilain, Marc B., GI10 York, Louis A., G030G140 Invited Lecturer, "Knowl- Instructor, NortheasternLecturer, Johns Hopkins edge Representation for University; Instructor,University Whiting School Case-Based Classifica- SUNY, Brockport.of Engineering since 1979, tion," Bolt Beranek &teaching graduate courses Newman Artificialin Data Communications Intelligence SeminarNetworks, Computer Series, Cambridge,Network Architectures and Massachusetts, 29 MayProtocols, and Local Area 1990.Networks; Member ot theComputer Science Warren, James, G140Department Program Instructor in the Math-Committee of the Continu- ematics and Computering Professional Programs Science Department atDivision of the Whiting Hillsborough CommunitySchool of Engineering College in Tampa, Florida,since 1986: responsible for undergraduate-levelthe communications courses on Introduction tonetworks concentration for Computer Science,the masters degree College Algebra, andprogram in computer General Mathematicsscience., during the spring and fall

terms of 1990.Piazza, Richard L., GI0Instructor, Computer Wu, Alan C., G 110Science, Metropolitan Adjunct Faculty, BostonCollege, Boston University, GraduateUniversity., School, Computer Science

Department, "DataThibodeau, Gregg J., Communications";GIIO Adjunct Faculty, North-Taught: "Network eastern University, State-Design," Boston Univer- of-the-Art Engineeringsity Metropolitan College, School, Electrical Engi-Masters Program, Boston, neering Department,Massachusetts. "Local Area Networks";

Adjunct Faculty, Univer-sity of Lowell, GraduateSchool, Electrical Eng!-neering Department,"Local Area Networks."

26

1990 FellowsSummary of

Pr-oifessionalActivities

James H. Babcock, G140Institute of Electrical andElectronics EngineersFellow

27

The Electronic Dissemina-tion System (EDS) wasdevelopedJbr the intelli-gence community as aspecial project of theIntelligence and CINCSupport Systems Division(G140). Features of theEDS demonstration systeminclude a simplified userinterface (no keyboard),very high qualiny render-ing of text and graphics,retrieval of vtdeo segments,,and system securitythrough fingerprintauthentication

28

1990 HonorsSummary of and AwardsProfessional

Activities

MITRE annually selects a Claypool, Sharon A., Roberts, Barbara H.,small number of programs Hamisevicz, Nicholas T., G110for special recognition; we Reho, Marjorie E., G140 Elected to Who's Who ofgranted program awards to Received a letter of American Women '91.about 150 Bedford appreciation from the Jetpersonnel in 1990, many Propulsion Laboratory and Silverman, Robert D.,of whom are members of the Joint Tactical Fusion GI10,the Center for Intelligence Program Office for their Stuart, Sidney, Formerand Special Programs. support to the develop- MITRE EmployeeProgram Accomplishment ment of a Tactical 1989 MITRE Best PapersAwards were given for Simulation (TACSIM) Award (received in 1990)participation in the operational scenario for for "A DistributedSentinel Bright I program. use in testing the All Batching System forProgram Achievement Source Analysis System. Parallel Processing."Awards were given forparticipation in the Joint Haydu, Virginia, States, Michael C., G140Tactical Information Janshego, Stephen W., Honored at a CIA awardDistribution System G110 ceremony held in Langley,(JTIDS), Milstar Radome Outstanding Contribution Virginia, on December 11,Engineering, and the Award for the "AFLC 1990. Received the CIA'sNorth Warning System. Local Area Network Intelligence Medal of

(LAN) Maintenance and Merit for "the perfor-Brusil, Paul J., GIId Support Source Selection mance of especiallySelected as Distinguished Evaluation Team," 6 meritorious service or forInternational Expert by the April 1990. an act or achievementSecond International conspicuously aboveSymposium on Integrated Maciorowski, Susan M., normal duties." MichaelNetwork Management. G030 worked in the CIA's office

Selected by the President's of SIGINT OperationsCommission on Executive before joining MITRE inExchange (PCEE) to serve April 1990.as Presidential ExchangeExecutive for FY90,assigned as SpecialAssistant to the Directorof Operations for theInformation Managementand Technology (IMTEC)Division of the U.S.General AccountingOffice (GAO).

i2

1990 ProfessionalSummary of SocietiesProfessional

Activities

Our people belong to Institute of Electrical and Electronics Engineers 151many professionalsocieties, as shown in Association for Computing Machinery 74

the list that begins on Armed Forces Communications and Electronics 58the following page. At Associationthe right is a list ofprofessional societies Association of Old Crows 34that represent thegreatest membership Air Force Association 15within the Center for Boston Computer Society 11Intelligence and SpecialPrograms. MITRE Technical Women's Group II

American Radio Relay League 10

Air Force Association Applied Imagery Pattern Special Interest

Aircraft Owners and Pilots Recognition Group on OperatingAssociation Armed Forces Systems

American Association for Communications and Special InterestArtificial Intelligence Electronics Association Group on OPS

American Association for Army Association Special Interestthe Advancement of Association for Automated Group on Pro-Science Reasoning gramming Languages

American Astronomical Association for Coin- Special Interest

Society putational Linguistics Group on Software

American Business Association for Engineering

Women's Association Computing Machinery Special Interest

American Defense Special Interest Group on SAC

Preparedness Group on Ada Special InterestAssociation Special Interest Group on SOFT

American Geophysical Group on ART Association for Infor-Union Special Interest mation Management

American Institute for Group on COMM Association for SymbolicIndustrial Engineers Special Interest Logic

American Institute of Group on Computer Association for UnmannedAeronautics and Architecture Vehicle SystemsAstronautics Special Interest Association for Women in

American Institute of Group on Computer SciencePhysics Graphics Association of Former

American Management Special Interest Intelligence OfficersAssociation Group on Computer Association of Military

American Mathematical Human Interaction Surgeons of the U.S.Society Special Interest Association of Old Crows

American Physical Society Group on Association of the UnitedAmerican Psychological Documentation States Army

Association Special Interest Boston Computer SocietyAmerican Radio Relay Group on Graphics British Society for the

League Special Interest History of Science

American Society for Group on Information (U.K.)Non-Destructive Testing RetrievalCogtive Science Society

American Society for Special Interest Cornell Society ofTesting Methods Group on MOD Professional Engineers

American Society of Special Interest Digital EquipmentACliiical Pathologists Organization Corporation User SocietyAmerican Societye Special Interest European Association for

Group on Office Theoretical ComputerApple Programmers and Information Systems Science

Developers Association

i 1990 ProfessionalSummary of Societies

ProfessionalActivities

History of Science Society Reliability Society Optical Society ofHuman Factors Society Software Engineering America

Information Systems Society Pritsker Users GroupSecurity Association Special Interest Quality Assurance

Institute of Electrical and Group on Security InstituteElectronics Engineers and Privacy Quarter Deck

Acoustics, Speech Institution of Electrical Reserve Officers'and Signal Processing Engineers (U.K.) AssociationSociety Institute of Management Security Affairs SupportAerospace and Sciences AssociationElectronic Systems Institute of Navigation Society for CompetitorSociety International Federation Intelligence

Antennas and for Information ProfessionalsPropagation Society Processing Society for Computer

Biomedical Society International Laser SimulationCommunications Communications Society Society for InformationSociety International Test and DisplayComputer Society Evaluation Association Society of AmericanControl Systems Internet Activities Board Military EngineersSociety Laser Institute of America Society of Automotive

Electromagnetic Mathematical Association EngineersCompatibility Society of America Society of lndus,.ial andEngineering Mensa Applied MathematiciansManagement Society Military Operations Society of Photo-Optical

Geoscience and Research Society InstrumentationRemote Sensing MITRE-Bedford Amateur EngineersSociety Radio Club Society of PhysicsInformation Theory MITRE Technical StudentsSociety Women's Group Society of WomenInstrumentation and National Association for EngineersMeasurement Society Female Executives Sybase Northeast

Lasers and Electro- National Computer Kingdom Users SocietyOptics Society Graphics Association Sybase Regional UsersLightwave National Military Group (Mass.)Technology Society Intelligence Association The Computer MuseumMicrowave Theory National Society ot Black United States Institute forand Techniques Engineers Theatre TechnologyGroup National Society of United States NavalNuclear and Plasma Professional Engineers InstituteScience Society Operations ResearchQuantum Electronics Society of Americaand ApplicationsSociety

32

1990 Honoraryi Summary of Soc/etles

! Professional"

' L Activities

During 1990 our people Eta Kappa Nu 30were members of manyhonorary societies, which Tau Beta Pi 28

are listed below. The Phi Kappa Phi 15honorary societies listed atright represent the greatestmembership within theCenter for Intelligenceand Special Programs.

Alpha Lambda Delta Psi Chi National HonorArnold Air Society SocietyBeta Kappa Chi Sigma Beta TauDelta Epsilon Sigma Sigma Gamma TauEpsilon Delta Pi Sigma Pi SigmaEta Kappa Nu Sigma TauOmega Rho Sigma XiOmicron Delta Kappa Tau Alpha Pi AssociationPhi Beta Kappa Tau Beta PiPhi Delta KappaPhi Eta SigmaPH1 Kappa PhiPhi Sigma TauPi Alpha AlphaPi Mu EpsilonPi Tau Sigma

33

We have attempted toreport all pertinent staffactivities for 1990. Weapologize for any inadver-tent errors or omissions.

For further informationcontact:

The MITRE CorporationBurlington RoadBedford, Massachusetts01730Telephone:

(617) 271-2000

Equal Opportunity

Employer. The MITRECorporation reaffirms itslong-standing commit-ment to equal opportunityand affirmative action.

Editor:Judith P. Schultz

Designer:Linda L. A. Scifo

Typesetter:Joanne F. Richardson