SAMDaily.us | AWARD | A | Securing Protocol Dialect Systems in Maude-NPA

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

A -- Securing Protocol Dialect Systems in Maude-NPA

Notice Date: 12/20/2022 11:14:03 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-2002
Archive Date: 01/20/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-2002
Award Date: 12/20/2022
Awardee: UNIVERSITY OF ILLINOIS IL 61801-3620 USA
Award Amount: 417072.00
Description: This contract is awarded to the University of Illinois (dba: Board of Trustees of the University of Illinois) using�6.302-1 procedures for�the development of a formal methods tool for verifying the security of protocol dialect systems using Maude.
Web Link: SAM.gov Permalink
(https://sam.gov/opp/0bcfe6058eb9448eb20191088222c30c/view)
Place of Performance: Address: Washington, DC 20375, USA; Zip Code: 20375; Country: USA
Record: SN06547198-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 |