<div dir="ltr">Xisen, this seems very interesting and useful.  I added a possible agenda item for the <a href="https://public.ccsds.org/meetings/2024Fall/default.aspx">Fall CCSDS meetings</a> 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.<div><br></div><div>Best Regards,</div><div><br></div><div>  --keith</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Sep 24, 2024 at 3:23 AM Tian, Xisen (LT) via SIS-DTN <<a href="mailto:sis-dtn@mailman.ccsds.org">sis-dtn@mailman.ccsds.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="msg8375790501672304856">





<div lang="EN-US" style="overflow-wrap: break-word;">
<div class="m_-5061678582251638346WordSection1">
<p class="MsoNormal">Hello, <u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">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:<u></u><u></u></p>
<p class="MsoNormal"><u></u><u></u></p>
<p class="MsoNormal">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.<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Please let me know if you have questions, concerns, or feedback. Thank you.
<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<div>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif">Very Respectfully,
<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif">Xisen Tian<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif">LT     USN
<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif">PhD Student<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif">Applied Cryptography<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif">Naval Postgraduate School<u></u><u></u></span></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
</div>

_______________________________________________<br>
SIS-DTN mailing list<br>
<a href="mailto:SIS-DTN@mailman.ccsds.org" target="_blank">SIS-DTN@mailman.ccsds.org</a><br>
<a href="https://mailman.ccsds.org/cgi-bin/mailman/listinfo/sis-dtn" rel="noreferrer" target="_blank">https://mailman.ccsds.org/cgi-bin/mailman/listinfo/sis-dtn</a><br>
</div></blockquote></div>