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

SAMDAILY.US - ISSUE OF DECEMBER 16, 2022 SAM #7689
AWARD

A -- Assuring Security of Protocol Dialect Systems

Notice Date: 12/14/2022 11:23:32 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: 12/29/2022
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/36dff74fc8234f80a284537e6b83066b/view)
Place of Performance: Address: Washington, DC 20375, USA; Zip Code: 20375; Country: USA
Record: SN06542895-F 20221216/221214230102 (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 |