Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications

M. Ibrahim, Jun Chen, Ratnesh Kumar
{"title":"Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications","authors":"M. Ibrahim, Jun Chen, Ratnesh Kumar","doi":"10.1109/WODES.2016.7497875","DOIUrl":null,"url":null,"abstract":"Unlike information, behaviors cannot be encrypted and may instead be protected by providing covers that generate indistinguishable observations from behaviors needed to be kept secret. Such a scheme may still leak information about secrets due to statistical difference between the occurrence probabilities of the secrets and their covers. Jensen-Shannon Divergence (JSD) is a possible means of quantifying statistical difference between two distributions and was used to measure such information leak as in our earlier work [1]. This paper studies secrecy quantification in stochastic partially-observed discrete event systems in the presence of distributed collusive attackers/observers, each with its own local partial observability, generalizing the setting of single observer in [1]. The local observers collude and exchange their observations over communication channels that introduce bounded delays. We propose a method to compute the JSD-based secrecy measure in this distributed setting by introducing bounded-delay channel models to extend the system model to capture the effect of exchange of observations, and to measure the distributed secrecy loss.","PeriodicalId":268613,"journal":{"name":"2016 13th International Workshop on Discrete Event Systems (WODES)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 13th International Workshop on Discrete Event Systems (WODES)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WODES.2016.7497875","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

Unlike information, behaviors cannot be encrypted and may instead be protected by providing covers that generate indistinguishable observations from behaviors needed to be kept secret. Such a scheme may still leak information about secrets due to statistical difference between the occurrence probabilities of the secrets and their covers. Jensen-Shannon Divergence (JSD) is a possible means of quantifying statistical difference between two distributions and was used to measure such information leak as in our earlier work [1]. This paper studies secrecy quantification in stochastic partially-observed discrete event systems in the presence of distributed collusive attackers/observers, each with its own local partial observability, generalizing the setting of single observer in [1]. The local observers collude and exchange their observations over communication channels that introduce bounded delays. We propose a method to compute the JSD-based secrecy measure in this distributed setting by introducing bounded-delay channel models to extend the system model to capture the effect of exchange of observations, and to measure the distributed secrecy loss.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
有界延迟通信下随机离散事件系统分布式保密损失的量化
与信息不同,行为不能加密,而是可以通过提供遮蔽物来保护,从而产生与需要保密的行为无法区分的观察结果。由于秘密的发生概率与其掩体的发生概率存在统计上的差异,这种方案仍然可能泄露有关秘密的信息。Jensen-Shannon散度(JSD)是量化两个分布之间的统计差异的一种可能的方法,在我们早期的工作[1]中,它被用于度量此类信息泄漏。本文研究了随机部分可观察离散事件系统中存在具有局部可观察性的分布式合谋攻击者/观察者的保密量化问题,推广了[1]中单个观察者的设置。局部观察者串通并通过引入有限延迟的通信通道交换他们的观察结果。我们提出了一种在分布式环境下计算基于jsd的保密措施的方法,通过引入有界延迟信道模型来扩展系统模型,以捕获观测交换的影响,并测量分布式保密损失。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Exploiting symmetry of state tree structures for discrete-event systems with parallel components Strategies for two-player differential games with costly information Communication rate analysis for event-based state estimation Concolic test generation for PLC programs using coverage metrics Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri nets
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1