Assuring Security of Protocol Dialect Systems
info alert
Note: There have been new actions to this contract opportunity. To view the most recent action, please click here.
Inactive
Contract Opportunity
Notice ID
N00173-23-C-2001
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): $449,449.00
General Information
- Contract Opportunity Type: Award Notice (Original)
- Original Published Date: Dec 14, 2022 02:23 pm EST
- Inactive Policy: 15 days after contract award date
- 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: , DC 20375USA
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
Contracting Office Address
- 4555 OVERLOOK AVE SW
- WASHINGTON , DC 20375-5328
- USA
Primary Point of Contact
- MORGAN LYNCH
- MORGAN.LYNCH@NRL.NAVY.MIL
Secondary Point of Contact
- Heather E. Dinsmore
- heather.dinsmore@nrl.navy.mil
History
- Jan 14, 2023 11:58 pm ESTAward Notice (Updated)
- Dec 14, 2022 02:23 pm ESTAward Notice (Original)
- Jul 01, 2022 11:55 pm EDTSpecial Notice (Original)