[Sis-dtn] Spring Meeting Agenda Add: BPSec Analysis and Improvements

[Keith Scott]

Xisen, this seems very interesting and useful.  I added a possible agenda
item for the Fall CCSDS meetings
<https://public.ccsds.org/meetings/2024Fall/default.aspx> where the SIS-DTN
WG will have a joint meeting with the Security WG.  I don't think we have
a date/time for that nailed down yet but when we do we can see if we can
get you in there.

Best Regards,

  --keith

On Tue, Sep 24, 2024 at 3:23 AM Tian, Xisen (LT) via SIS-DTN <
sis-dtn at mailman.ccsds.org> wrote:

> Hello,
>
>
>
>
>
> I’m Xisen Tian, I’m a PhD student being advised by Dr. Britta Hale and
> Scott Burleigh at the Naval Postgraduate School researching cryptographic
> analysis of DTN protocols. My co-authors (cc’d) and I have completed a
> formal analysis of BPSec with recommendations for improvements which we are
> ready to present to the DTN WG at the upcoming fall meeting in London. We
> would like to request a 30-45 minute time slot in the agenda to do a
> presentation of our work followed by discussion on how our improvements
> could be adopted (if at all). Our full paper is forthcoming: it has been
> submitted to a journal and we are currently going through the
> review/revision process. I’ve pasted our abstract below:
>
> ABSTRACT: Space networking has become an increasing area of development
> with the advent of commercial satellite networks such as those hosted by
> Starlink and Kuiper, and increased satellite and space presence by
> governments around the world. Yet, historically such network designs have
> not been made public, leading to limited formal cryptographic analysis of
> the security offered by them. One of the few public protocols used in space
> networking is the Bundle Protocol, which is secured by Bundle Protocol
> Security (BPSec), an Internet Engineering Task Force (IETF) standard. We
> undertake a first analysis of BPSec, building a model of the secure channel
> security goals stated in the IETF standard, and note issues therein with
> message loss detection. We prove security of BPSec under a limited model
> and also provide a stronger construction, one that supports the Bundle
> Protocol’s functionality goals while also ensuring destination awareness of
> missing messages components.
>
>
>
> Please let me know if you have questions, concerns, or feedback. Thank
> you.
>
>
>
> Very Respectfully,
>
>
>
> Xisen Tian
>
> LT     USN
>
> PhD Student
>
> Applied Cryptography
>
> Naval Postgraduate School
>
>
> _______________________________________________
> SIS-DTN mailing list
> SIS-DTN at mailman.ccsds.org
> https://mailman.ccsds.org/cgi-bin/mailman/listinfo/sis-dtn
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.ccsds.org/pipermail/sis-dtn/attachments/20240924/04588218/attachment.htm>