SAMDaily.us | AWARD | A | Assuring Security of Protocol Dialect Systems

SAMDAILY.US - ISSUE OF DECEMBER 22, 2022 SAM #7695
AWARD

A -- Assuring Security of Protocol Dialect Systems

Notice Date: 12/20/2022 11:15:14 AM
Notice Type: Award Notice
NAICS: 541715 — Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Contracting Office: NAVAL RESEARCH LABORATORY WASHINGTON DC 20375-5328 USA
ZIP Code: 20375-5328
Solicitation Number: N00173-23-C-2001
Archive Date: 01/14/2023
Point of Contact: MORGAN LYNCH, Heather E. Dinsmore
E-Mail Address: MORGAN.LYNCH@NRL.NAVY.MIL, heather.dinsmore@nrl.navy.mil
(MORGAN.LYNCH@NRL.NAVY.MIL, heather.dinsmore@nrl.navy.mil)
Award Number: N00173-23-C-2001
Award Date: 12/14/2022
Awardee: SRI INTERNATIONAL CA 94025-3453 USA
Award Amount: 449449.00
Description: This contract is awarded to SRI International using 6.302-1 procedures for the�extension of the Maude language and developing formal patterns for dialect systems in Maude and analyzing them.
Web Link: SAM.gov Permalink
(https://sam.gov/opp/9a6a538e2fa64005943875b6043b074e/view)
Place of Performance: Address: Washington, DC 20375, USA; Zip Code: 20375; Country: USA
Record: SN06547197-F 20221222/221220230110 (samdaily.us)
Source: SAM.gov Link to This Notice
(may not be valid after Archive Date)

| FSG Index | This Issue's Index | Today's SAM Daily Index Page |