Washington, DC Bids > Bid Detail

Assuring Security of Protocol Dialect Systems

Back Print
Agency: DEPT OF DEFENSE
Level of Government: Federal
Category:
  • A - Research and development
Opps ID: NBD00159651412495909
Posted Date: Dec 20, 2022
Due Date:
Solicitation No: N00173-23-C-2001
Source: https://sam.gov/opp/9a6a538e2f...
Follow
Assuring Security of Protocol Dialect Systems
Active
Contract Opportunity
Notice ID
N00173-23-C-2001
Related Notice
N00173-22-RFI-ML02
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 14, 2022
  • Contract Award Number: N00173-23-C-2001
  • Task/Delivery Order Number:
  • Contractor Awarded Unique Entity ID: SRG2J1WS9X63
  • Contractor Awarded Name: SRI INTERNATIONAL
  • Contractor Awarded Address: Menlo Park , CA 94025-3453 USA
  • Base and All Options Value (Total Contract Value): $449449.00
General Information View Changes
  • Contract Opportunity Type: Award Notice (Updated)
  • All Dates/Times are: (UTC-05:00) EASTERN STANDARD TIME, NEW YORK, USA
  • Updated Published Date: Dec 20, 2022 02:15 pm EST
  • Original Published Date: Dec 14, 2022 02:23 pm EST
  • Inactive Policy: Manual
  • Updated Inactive Date: Jan 14, 2023
  • Original Inactive Date: Dec 29, 2022
  • 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 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.


Attachments/Links
Contact Information View Changes
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 >