Washington, DC Bids > Bid Detail

Securing Protocol Dialect Systems in Maude-NPA

Agency: DEPT OF DEFENSE
Level of Government: Federal
Category:
  • A - Research and development
Opps ID: NBD00159934073870332
Posted Date: Dec 20, 2022
Due Date:
Solicitation No: N00173-23-C-2002
Source: https://sam.gov/opp/0bcfe6058e...
Follow
Securing Protocol Dialect Systems in Maude-NPA
Active
Contract Opportunity
Notice ID
N00173-23-C-2002
Related Notice
N00173-22-RFI-ML03
Contract Line Item Number
Department/Ind. Agency
DEPT OF DEFENSE
Sub-tier
DEPT OF THE NAVY
Major Command
ONR
Sub Command
ONR NRL
Office
NAVAL RESEARCH LABORATORY
Award Details
  • Contract Award Date: Dec 20, 2022
  • Contract Award Number: N00173-23-C-2002
  • Task/Delivery Order Number:
  • Contractor Awarded Unique Entity ID: Y8CWNJRCNN91
  • Contractor Awarded Name: UNIVERSITY OF ILLINOIS
  • Contractor Awarded Address: Urbana , IL 61801-3620 USA
  • Base and All Options Value (Total Contract Value): $417072.00
General Information
  • Contract Opportunity Type: Award Notice (Original)
  • All Dates/Times are: (UTC-05:00) EASTERN STANDARD TIME, NEW YORK, USA
  • Original Published Date: Dec 20, 2022 02:14 pm EST
  • Inactive Policy: Manual
  • Original Inactive Date: Jan 20, 2023
  • Initiative:
    • None
Classification
  • Original Set Aside:
  • Product Service Code: AC33 - National Defense R&D Services; Defense-related activities; Experimental Development
  • NAICS Code:
    • 541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
  • Place of Performance:
    Washington , DC 20375
    USA
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.


Attachments/Links
Contact Information
Contracting Office Address
  • 4555 OVERLOOK AVE SW
  • WASHINGTON , DC 20375-5328
  • USA
Primary Point of Contact
Secondary Point of Contact
History

TRY FOR FREE

Not a USAOPPS Member Yet?

Get unlimited access to thousands of active local, state and federal government bids and awards in All 50 States.

Start Free Trial Today >