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 |