Probing Attacks on Physical Layer Key Agreement for Automotive Controller Area Networks (Extended Version)
汽车网络（CAN）的有效密钥管理是管理下一代车辆安全性的关键要素。最近一个有前途的方法之间的动态密钥协议组的节点，插入和安全的CAN，已被证明是信息理论上安全的基础上的物理属性的CAN总线。在本文中，我们说明了侧信道攻击，导致几乎完全泄漏的秘密密钥位，由对手，是能够探测CAN总线。我们确定了导致这种攻击的基本特征，并提出了技术，以尽量减少在硬件，控制器和系统级别的信息泄漏。
2018-10-16 cs.CR
Anomaly Detection in Intra-Vehicle Networks
Western University（西部大学）
创新和技术的进步以及网络之间互联互通的便利性使我们能够朝着有前途的领域之一发展，即车联网。如今，现代车辆连接到一系列网络，包括车内网络和外部网络。然而，汽车行业面临的主要挑战是使车辆安全可靠;特别是由于现有传统协议存在漏洞，对车辆网络的网络攻击急剧增加。实际上，每辆车都使用通用控制器局域网（CAN）总线协议进行电子控制单元之间的通信，以传输关键的车辆功能和与驾驶员安全相关的消息。CAN总线系统虽然具有重要意义，但缺乏任何协议认证和授权的关键特征。CAN总线安全性的妥协导致了严重的问题，汽车和驾驶员的安全。本文讨论了CAN总线协议的安全问题，并提出了一个入侵检测系统（IDS），检测已知的攻击车载网络。采用多种人工智能（AI）算法，根据通过CAN传输的消息、时间戳和数据包来识别已知的潜在网络攻击。本文的主要目标是通过考虑时间序列特征和攻击频率来准确地检测网络攻击。在考虑攻击频率时，大多数评估的AI算法都能正确识别已知攻击，准确率超过99%。然而，当不考虑时间戳时，这些模型的准确率约为92%至97%。长短期记忆（LSTM）、Xgboost和SVC已被证明是性能良好的分类器。
2022-05-07 cs.AI cs.CR cs.LG
MLQENABLER: Enabling Secure Machine Learning Queries over Encrypted Database in Cloud Computing
Department of Computer Science, Michigan Technological University（计算机科学系，密歇根技术大学）
针对云计算中加密数据库无法进行安全机器学习查询的问题，提出MLQENABLER方案，采用索引辅助方法，在实现安全的同时具备机器学习能力，实验显示其能达到可接受安全级别，且ML性能仅有轻微下降。
2026-07-10 cs.CR cs.LG
Towards Blockchain-Driven, Secure and Transparent Audit Logs
审计日志是企业业务系统中的关键组件，用于审计、存储和跟踪对数据所做的更改。然而，审计日志容易受到一系列攻击，这使得攻击者能够篡改数据和相应的审计日志。在本文中，我们介绍了BlockAudit：一个可扩展的防篡改系统，它利用审计日志的设计属性和区块链的安全保证来实现安全和可信的审计日志。为此，我们构建了BlockAudit的设计方案，并概述了其操作程序。我们在Hyperledger上实现了我们的设计，并从延迟、网络大小和有效负载大小方面评估了其性能。我们的研究结果表明，传统的审计日志可以无缝过渡到BlockAudit，以实现更高的安全性，完整性和容错。
2018-11-25 cs.CR
Hardware Engines for Bus Encryption: A Survey of Existing Techniques
由便携式和嵌入式设备提供的应用和服务的范围不断扩大，带来了安全问题的新维度。大多数嵌入式系统（付费电视、PDA、手机等）使用外部存储器。因此，主要问题是数据和指令在总线上以清晰的形式在内存（RAM）和CPU之间不断交换。该存储器可以包含终端用户或内容提供方愿意保护的机密数据，如商业软件或私人内容。本文的目标是清楚地描述处理器-内存总线通信在这方面的问题以及通过加密保护通信通道所应用的现有技术-本文将广泛讨论这些解决方案所暗示的性能开销。
2007-10-25 cs.CR
Performance Evaluation of Multiparty Authentication in 5G IIoT Environments
随着工业物联网（IIoT）等各种新兴技术的快速发展，需要保护这些设备之间的通信。通信系统延迟是对认证系统的性能产生不利影响的因素之一。5G网络可以实现更大的数据吞吐量和更低的延迟，这为IIoT设备之间的业务交易安全认证提供了新的机会。我们评估了一种开发灵活安全模型的方法，用于在动态5G环境中验证IIoT组件。
2020-01-16 cs.CR cs.PF
Fabric-SCF: A Blockchain-based Secure Storage and Access Control Scheme for Supply Chain Finance
供应链金融（SCF）致力于为信用额度低、融资规模小的中小企业提供信贷。由此产生的金融信用数据和相关的商业交易数据是高度机密和私人的。然而，传统的SCF管理方案大多采用第三方平台和集中式设计，无法实现高可靠的安全存储和细粒度的访问控制。为了填补这一空白，本文设计并实现了一个基于区块链和基于属性的访问控制（\textbf{ABAC}）模型的安全存储和访问控制系统Fabric-SCF。该方案利用分布式共识实现数据的安全性、可追溯性和不变性。我们还使用智能合约来定义系统流程和访问策略，以确保系统的高效运行。为了验证Fabric-SCF的性能，我们设计了两组仿真实验。仿真结果表明，Fabric-SCF在保持高吞吐量的同时，实现了动态细粒度的访问控制。
2021-11-26 cs.CR
Secure Authentication of Cloud Data Mining API
云计算是一个革命性的概念，它带来了IT世界的范式转变。这使得管理和运营企业成为可能，甚至无需建立IT基础设施。它为迁移到云的用户提供了多重好处，同时也带来了未知的安全和隐私问题。用户认证是这样一个日益增长的关注点，并且为了确保云计算环境中的隐私和安全性，非常需要用户认证。本文讨论了云计算环境中网络、应用和虚拟化等不同层次的安全问题。提出了一种基于一次性密钥传递机制的安全框架。所提出的安全协议的独特性在于，它在高度冲突的云环境中为服务提供商和用户提供安全性。
2013-08-04 cs.CR
Survey on Secure Search Over Encrypted Data on the Cloud
云计算已经成为企业和个人将其数据外包给远程但高度可访问的服务器的潜在资源。然而，由于用户对云中数据的安全性和隐私性的担忧，云服务的潜力尚未完全释放。可以采用用户侧加密技术来减轻安全问题。然而，一旦数据被加密，就没有处理（例如，搜索）可以在外包数据上执行。可搜索加密（Searchable Encryption，SE）技术已经被广泛研究，以使得能够在数据被加密的同时对数据进行搜索。这些技术允许对加密数据进行各种类型的搜索，并提供不同级别的安全性。此外，尽管这些技术支持不同的搜索类型，并且在细节上有所不同，但它们在组件和架构上具有相似性。在本文中，我们提供了一个全面的调查不同的安全搜索技术，这些系统的高层次架构，并分析其性能和安全级别。
2018-11-24 cs.CR
Metric-Aware Secure Service Orchestration
安全编排是服务互联网中的一个重要问题。除了提供所需的功能外，组合服务还必须提供合理的安全级别，以保护敏感数据。因此，协调器需要检查复杂服务是否能够满足某些属性。一些属性用度量来表示，以便精确定义需求。因此，问题是分析复杂业务流程的度量值。在本文中，我们扩展了我们以前的工作与可量化的属性安全编排的分析。我们展示了如何定义，验证和执行定量的安全要求，在一个框架与其他安全属性。拟议的办法应有助于选择最合适的服务架构，并保证满足所宣布的安全要求。
2012-12-17 cs.CR cs.DC cs.FL
State-of-the-Art Survey on In-Vehicle Network Communication (CAN-Bus) Security and Vulnerabilities
如今，在先进技术的帮助下，现代车辆不仅由机械装置组成，而且还包括高度复杂的电子设备和与外部世界的连接。现代汽车中大约有70个电子控制单元（ECU），它们通过称为控制器局域网（CAN总线）的标准通信协议相互通信，该协议提供高达1Mbps的通信速率。存在不同类型的车载网络协议和总线系统，即受控区域网络（CAN）、本地互连网络（LIN）、面向媒体的系统传输（MOST）和FlexRay。尽管CAN总线被认为是车载网络通信的事实标准，但它在设计上固有地缺乏基本的安全特性，如消息认证。这种安全限制为攻击者渗透到车辆网络并进行恶意活动铺平了道路，这些活动可能会对驾驶员和乘客造成危险。特别地，现在的车辆网络不仅是封闭系统，而且它们对不同的外部接口（即蓝牙、GPS）是开放的。因此，它为攻击者远程完全控制车辆创造了新的机会。本研究的目的是调查CAN总线协议的安全通信和不同的解决方案，研究人员在汽车的社会提供了克服CAN总线的限制在不同的层方面的当前限制。
2018-02-05 cs.CR
A Novel Multi-Secret Sharing Approach for Secure Data Warehousing and On-Line Analysis Processing in the Cloud
云计算有助于降低成本，提高业务灵活性，并为许多类型的应用程序（包括数据仓库和在线分析处理）部署具有高投资回报率的解决方案。然而，将敏感数据存储和传输到云中会引起合理的安全问题。在本文中，我们提出了一种新的多秘密共享方法部署在云中的数据仓库，并允许在线分析处理，同时加强数据的隐私性，完整性和可用性。我们首先从理论上验证我们的方法的相关性，然后用一个简单的随机数据集和星型架构基准实验。我们也证明了它的优越性，相关的方法。
2017-01-19 cs.CR cs.DB
BeeTrace: A Unified Platform for Secure Contact Tracing that Breaks Data Silos
接触者追踪是控制COVID-19等传染病传播的重要方法。然而，现有的接触追踪方法本身不能提供足够的覆盖范围，也不能成功地解决参与实体的隐私问题。当前的解决方案不利用存储在业务数据库和个人数字设备中的大量数据。这些信息通常存储在数据孤岛中，由于法规的限制而无法使用。为了成功释放接触者追踪的潜力，我们需要考虑多个来源的数据利用和参与方的隐私。为此，我们提出了BeeTrace，这是一个统一的平台，它打破了数据孤岛，并部署了最先进的加密协议来保证隐私目标。
2020-07-05 cs.CR cs.CY
Improving Privacy and Security in Unmanned Aerial Vehicles Network using Blockchain
无人机（UAV），也被称为无人机，已经在当今商业行业的各个领域爆炸式增长。他们有机会改造旧业务，甚至为各种品牌和特许经营商开发新的机会。无人机用于供应链，维持监视并充当移动热点。虽然无人机具有潜在的应用，但它们带来了一些社会问题和挑战，需要在公共安全，隐私和网络安全方面加以解决。无人机容易受到各种网络攻击和漏洞;它们还可能被恶意实体黑客攻击和滥用，导致网络犯罪。对手可以利用这些漏洞，导致数据丢失，财产和生命的破坏。通过监测无人机的行为，可以部分检测到虚假信息传播、干扰、灰洞、黑洞和GPS欺骗等攻击，但可能无法解决隐私问题。本文介绍了使用区块链技术的无人机之间的安全通信。我们的方法包括构建智能合约，并建立一个安全可靠的无人机自组织网络。该网络将能抵御各种网络攻击，并能抵御恶意入侵。
2022-06-27 cs.CR cs.DC
Mitigating Vulnerabilities of Voltage-based Intrusion Detection Systems in Controller Area Networks
用于控制车辆的数据经由诸如控制器局域网（CAN）协议的车载网络协议在电子控制单元（ECU）之间交换。由于这些协议是为隔离网络设计的，因此这些协议既不加密数据，也不验证消息。入侵检测系统（IDS）的开发是为了保护CAN协议，通过检测物理属性的异常偏差。例如，基于电压的IDS（VIDS）利用每个ECU的电压特性来检测入侵。带有VIDS的ECU必须使用额外的导线连接到CAN总线，以测量CAN总线线路的电压。然而，如果带有VIDS的ECU受到损害，这些额外的导线可能会向CAN总线引入新的攻击面。我们研究了VIDS的新漏洞，并证明了对手可能会损坏ECU与VIDS，阻止消息传输，并迫使ECU发送消息。为了保护CAN总线免受这些攻击，我们提出了两个基于硬件的入侵响应系统（IRS），一旦检测到这些攻击，就会从CAN总线断开受损的ECU。我们开发了四个基于电压的攻击，利用漏洞的VIDS和评估的有效性，建议IRSs使用CAN总线测试床。
2019-07-25 cs.CR
Secure k-Anonymization over Encrypted Databases
数据保护算法对于支持促进数据共享和数据货币化的现代业务需求正变得越来越重要。摘要数据共享是实现数据共享的重要步骤。一些组织利用第三方来存储和管理数据。然而，第三方通常不被信任来存储明文个人和敏感数据;数据加密被广泛采用，以防止有意和无意地读取个人/敏感数据。传统的加密方案不支持对密文的操作，因此对加密数据集进行匿名化对于当前的方法是不可行的。本文探讨了利用同态加密在加密数据集上实现隐私保护数据发布工作流的可行性和深度。我们演示了如何实现唯一性发现，数据屏蔽，差分隐私和K-匿名加密数据需要零知识的原始值。我们证明了我们的方法所遵循的安全协议提供了强有力的保证，对推理攻击。最后，我们通过实验证明了我们的数据发布工作流组件的性能。
2021-08-10 cs.CR
A Lightweight and Post-Quantum Secure Framework for IEC 61869-9 Sampled Value Communication
King Fahd University of Petroleum & Minerals（阿卜杜勒阿齐兹国王石油矿物大学）；Vellore Institute of Technology（维洛尔理工学院）
本文针对IEC 61869-9采样值通信的安全难题，提出结合轻量级Chaskey-12认证与后量子ML-KEM密钥建立的安全框架，经实验验证其性能优异，可用于资源受限的数字变电站设备。
2026-08-25 cs.CR cs.SY eess.SY
An Efficient Framework for Information Security in Cloud Computing Using Auditing Algorithm Shell (AAS)
由于云计算（CC）范式的出现，IT领域的新基础设施、人员培训和新计算机程序的许可证发放都在动态升级和扩展。在过去的几年里，它已经成为IT业务的一个快速增长的部分。然而，由于数据、人员和IT公司的快速增长，信息安全问题变得更加复杂。用户最关心的问题之一是，云计算中的数据安全程度如何？尽管所有的宣传材料都包含云计算，但联盟客户并不愿意将其业务转移到云计算上。数据安全是限制云计算应用范围的主要问题。在新的云计算基础架构中，采用了强安全壳和加密等技术，通过日志系统来保证用户的真实性。供应商利用这些日志来分析和查看他们的数据。因此，这种实现不足以确保数据的安全性、隐私性和权威性。本文介绍了数据安全，数据隐私，数据泄露和流程相关方面的四层框架。使用这种分层的架构，我们已经保持了机密信息的保密性，并试图建立用户对云计算的信任。该分层框架通过多种手段防止机密信息，即数据的安全传输，加密数据及其处理，数据库安全外壳和内部/外部日志审计。
2017-02-23 cs.CR
Blockchain-Based Secure Vehicle Auction System with Smart Contracts
针对中心化系统单点故障与数据可篡改问题，本文基于以太坊区块链和智能合约设计车辆信息存储与拍卖系统，实现安全、去中心化的车辆所有权转移。
2025-04-19 cs.CR
Cryptography approach for Secure Outsourced Data Storage in Cloud Environment
针对云环境中外包存储数据的安全痛点，提出一种保障数据在云中共享与存储安全的密码学方法，可减少安全攻击、防范未授权访问，最后指出相关局限并给出未来研究建议。
2023-06-14 cs.CR
Review of Considerations for Mobile Device based Secure Access to Financial Services and Risk Handling Strategy for CIOs, CISOs and CTOs
金融服务组织中的信息技术和安全利益相关者（如CIO、CISO和CTO）经常被要求识别他们支持的金融服务的移动计算渠道的风险。他们还被要求提出处理风险的方法，确定风险接受水平并减轻风险。这就要求他们制定策略，以支持来自不同供应商、具有不同操作系统和硬件平台的各种移动设备，同时保持在可接受的风险水平内。应在信息安全政策文件或银行、支付服务提供商等金融服务组织的其他适当文件中记录这些表述。虽然风险和缓解方法可从多个来源获得，但高级利益相关方可能会发现，以全面的方式表述问题并与企业所有者和其他技术利益相关方分享是一项挑战。本文回顾了目前的研究，解决上述问题，并阐明了一个战略，高级利益相关者可能会使用在他们的组织。假设高级利益相关者的这种类型的综合战略指南不容易获得，CIO，CISO和CTO会发现本文非常有用。
2015-02-03 cs.CR
Consortium Blockchain for Security and Privacy-Preserving in E-government Systems
自2008年作为安全加密货币共享的解决方案诞生以来，区块链技术现已成为通过无信任和分散的点对点系统进行安全数据共享和存储的核心技术之一。电子政务是存储有关公民、企业和其他附属机构的敏感信息的系统之一，因此成为网络攻击者的目标。现有的电子政务系统是集中式的，因此容易出现单点故障。本文提出了一种基于联盟区块链技术的安全和分散的电子政务系统，这是一个半公开和分散的区块链系统，由一组预先选择的实体或组织组成，负责共识和决策，以使整个网络的同行受益。此外，在添加到区块链网络之前，预先选择了一些电子政务节点来执行用户和交易验证的任务。因此，联盟区块链网络的电子政务用户有权创建、提交、访问和审查交易。单笔交易时间和每秒处理的交易的性能评估证明了所提出的基于联盟区块链的电子政务系统在所有利益相关者之间安全共享信息的实用性。
2020-06-25 cs.CR
Blockchain-Enhanced Framework for Secure Third-Party Vendor Risk Management and Vigilant Security Controls
本文提出一个整合区块链与智能合约的第三方供应商风险管理框架，通过实时监控关键安全控制并以iHealth迁移AWS Cloud为例验证其可显著减少脆弱性并改善事件响应。
2024-11-20 cs.CR
Secure Communication Protocol for Smart Transportation Based on Vehicular Cloud
联网汽车的开创性概念通过从附近物体收集相关数据，改变了研究人员和企业家的思维方式。然而，这些数据仅对特定车辆有用。此外，车辆获得大量数据（例如，交通、安全和多媒体信息娱乐）。因此，车辆期望有足够的存储设备来存储这些数据，但是在每辆车中具有大的存储器是不可行的。因此，车辆云计算（VCC）框架进入画面，以通过将路边单元（RSU）与车辆云（VC）连接来提供存储设施。在这种情况下，数据应该以加密的形式保存以保持安全性，但是在加密数据上搜索信息是一个挑战。接下来，我们了解到，许多车辆通信方案由于其性能不佳并且容易受到不同的基本安全攻击而对数据传输效率低下。因此，设备上的性能至关重要，但数据损坏和安全的按时连接也是公共环境中的重大挑战。因此，我们提出了可靠的数据传输协议的尖端架构，从存储搜索数据，抵御各种安全攻击，并提供更好的性能结果。因此，所提出的数据传输协议可用于各种智能城市应用（商业、安全和娱乐），以造福社会。
2020-01-04 cs.CR
Enabling Performant and Secure EDA as a Service in Public Clouds Using Confidential Containers
本文针对公有云爆发场景下EDA工作负载的知识产权保护需求，提出基于机密容器的零信任方案，并验证端到端性能开销仅为7.13%和2.05%，证明安全性与性能可兼得。
2024-07-08 cs.CR
A Secure Mobile Authentication Alternative to Biometrics
生物识别技术广泛用于消费者设备和商业环境中的身份验证，因为它们为用户提供了足够强的安全性、即时验证和便利性。然而，生物识别技术很难保密，被盗的生物识别技术给用户带来了终身的安全风险，因为它们无法重置和重新发布，并且通过不同系统的生物识别技术认证的交易是可追溯的，可以追溯到个人身份。此外，他们的成本效益分析不包括对用户的个人影响，他们对即将发生的负面结果准备最少，而且往往没有得到同样方便的替代认证选项。我们介绍了ai.lock，一种用于移动设备的基于秘密图像的身份验证方法，它使用成像传感器来可靠地提取类似于生物识别的身份验证凭证。尽管缺乏生物识别图像特征的识别，但我们表明，ai.lock始终从一般用户捕获的图像中提取身份验证尝试的特征，以重建可以匹配并超过生物识别安全性的凭据（EER = 0.71%）。al.lock只存储对象图像的散列。我们测量了ai.lock针对超过35亿个验证实例的蛮干攻击的安全性，这些验证实例是由超过25万张真实物体的图像和10万张使用对象图像训练的生成对抗网络合成生成的图像构建的。我们证明了ai.lock Shannon熵优于内置于流行移动设备中的基于指纹的身份验证。
2018-08-21 cs.CR
Topos: A Secure, Trustless, and Decentralized Interoperability Protocol
Topos是一个开放的互操作性协议，旨在通过用加密构造和去中心化替换信任假设来尽可能减少信任假设，同时表现出巨大的可扩展性。该协议不使用中央区块链，也不使用共识来确保在公共和私有区块链的异构生态系统中一致地传递消息，称为“TCE”，而是依赖于由分布式网络实现的弱因果可靠广播，我们称之为$\textit{Transmission Control Engine}$（TCE）。跨子网消息的有效性由$\textit{Universal Certificate Interface}$（UCI）确保，并且源于zkSTARK证明，该证明断言由Topos zkVM执行的“状态转换”的有效性。这种计算完整性的证明可以由协议内外的任何其他参与者公开验证，例如其他审计公司或审计公司。TCE和DRM之间的接口利用ICE-FROST协议，这是一种创新的阈值签名方案，其静态公钥允许在DRM在协议中注册后唯一地标识DRM。Topos协议被设计为向生态系统提供$\textit{uniform security}$并处理任何类型的干扰（例如，许可的、无许可的），以适应任何业务用例，并为全球采用和互联网基础层的新标准铺平道路。
2023-02-08 cs.CR cs.DC
Using Data Analytics to Detect Anomalous States in Vehicles
University of Maryland Baltimore County（马里兰大学巴尔的摩县分校）
车辆之间的联系越来越紧密，这就开辟了一个更大的攻击面，不仅影响车内的乘客，还影响周围的人。这些漏洞的存在是因为现代系统是建立在相对较不安全和旧的CAN总线框架上的，甚至缺乏基本的身份验证。由于新协议只能帮助未来的车辆，而不能帮助旧车辆，因此我们的方法试图将这个问题作为数据分析问题来解决，并使用机器学习技术来保护汽车。我们开发了一个隐马尔可夫模型来检测从车辆收集的真实数据的异常状态。使用此模型，当车辆运行时，我们能够检测并发出警报。我们的模型可以作为一个即插即用设备集成在所有新的和旧的汽车。
2015-12-25 cs.AI cs.CR
ESP2CS: Securing Internet of Vehicles through Blockchain-enabled Communications and Payments
本文提出基于以太坊的ESP2CS方案，通过区块链中间件和配套Android应用保障车联网V2X通信与支付安全，并在成本效益、完整性和一致性上优于现有方案。
2023-12-05 cs.CR
2.5D Root of Trust: Secure System-Level Integration of Untrusted Chiplets
在接受和出版后，献给已故的Vassos Soteriou。我们首次利用2.5D内插器技术在面对以硬件和软件为中心的对手时建立系统级安全性。更具体地，我们集成小芯片（即，复杂功能的第三方硬知识产权，如微处理器）。这样的硬件组织为值得信赖的，但功能强大且灵活的计算系统提供了强大的2.5D信任根。我们的计划的安全范例，采用坚定的设计和建设，是：1）严格的物理分离的可信组件从不可信的，2）运行时监控。所有不受信任的商品小芯片的系统级活动都通过物理上分离的安全特征针对安全策略进行连续检查。除了安全承诺之外，外包供应链的良好经济性仍然保持不变;系统供应商可以自由地从公开市场购买芯片，同时只生产插入器并自行组装2.5D系统。我们展示了我们的方案，使用Cortex-M0内核和ARM的AHB-Lite总线，构建一个安全的64核系统与共享存储器。我们评估我们的计划，通过硬件仿真，考虑不同的威胁情况。最后，我们设计了一个物理设计流程的2.5D系统，基于商业级的设计工具，以证明和评估我们的2.5D信任的根源。
2020-09-29 cs.AR cs.CR
Covert Channel-Based Transmitter Authentication in Controller Area Networks
近年来，由于传统车载通信系统的广泛使用，汽车网络物理系统（CPS）的安全性面临着紧迫的威胁。作为一种典型的传统总线系统，控制器局域网（CAN）承载着对车辆功能至关重要的电子控制单元（ECU）。在这种情况下，恶意行为者可以利用CAN漏洞，例如缺乏内置的身份验证和加密方案，发起具有危及生命后果的CAN总线攻击（例如，禁用制动器）。在本文中，我们提出了TACAN（Transmitter Authentication in CAN），它通过利用隐蔽通道在传统CAN总线上提供ECU的安全认证，而不引入CAN协议修改或流量开销。塔康颠覆了原本恶意的隐蔽通道概念，并利用它来构建一种有效的防御技术，通过一个集中的、可信的监控节点来促进发射机身份验证。塔康由三种不同的隐蔽通道组成，用于ECU认证：1）基于到达间隔时间（IAT）; 2）基于最低有效位（LSB）; 3）混合隐蔽通道，利用前两者的组合。为了验证塔康，我们在华盛顿大学（UW）EcoCAR（Chevrolet Camaro 2016）测试平台上实现了隐蔽通道。我们进一步评估的比特错误，吞吐量和塔康检测性能，通过广泛的实验，使用EcoCAR测试平台和公开的数据集收集丰田凯美瑞2010年。我们证明了塔康的可行性和检测CAN总线攻击的有效性，突出没有交通开销和证明ECU的常规功能。
2019-12-08 cs.CR
Secure Communication Using Electronic Identity Cards for Voice over IP Communication, Home Energy Management, and eMobility
使用通信服务是个人或商业环境中日常生活的常见部分。通信服务包括互联网服务，如语音服务、聊天服务和Web 2.0技术（维基、博客等），但家庭能源管理和电动汽车等其他使用领域将越来越多地得到解决。这样的通信服务通常对参与者进行认证。为此，使用某种标识来标识服务用户或服务本身的通信对等体。在用于IP语音（VoIP）的会话发起协议（SIP）中使用的呼叫线路标识只是一个示例。eCar用户的认证和识别用于在eCar的充电期间记账是另一个示例。此外，进一步的机制依赖于身份，例如，定义允许的通信对等体的白名单。可信身份可以防止身份欺骗，因此是保护通信的基本组成部分。然而，以实际的方式提供可信的身份仍然是一个困难的问题，并且太频繁地使用特定于应用的身份，使得身份处理变得麻烦。如今，许多国家采用了电子身份证，例如，德国的“电子人员组织”（ePA）。由于许多德国公民很快将拥有ePA，因此它可以用作安全令牌，以提供可信的身份。特别是新的使用领域（如eMobility）应该从一开始就基于无处不在的可信身份。本文介绍了身份证可以集成在三个领域：家庭能源管理，车辆2电网通信，基于SIP的IP电话语音。在所有这三个领域，身份证都被用来可靠地识别用户和认证参与者。作为电子身份证的一个例子，本文重点介绍了德国的ePA。
2015-06-23 cs.CR
Hawk: Accurate and Fast Privacy-Preserving Machine Learning Using Secure Lookup Table Computation
University of Southern California（南加州大学）
本文提出Hawk，一种基于秘密共享查找表的双服务器隐私保护机器学习协议，通过引入宽松安全度量显著降低计算开销，在提升逻辑回归和神经网络训练速度的同时实现了更高的模型准确率。
2024-03-26 cs.CR cs.LG
Dynamic Role-Based Access Control for Decentralized Applications
访问控制管理是维护应用程序安全性的一个组成部分。虽然在云访问控制机制领域已经有了大量的工作，但是随着分布式账本技术（DLT）的出现，链上访问控制管理框架几乎不存在。现有的访问控制管理机制与业务逻辑紧密耦合，导致治理问题，与现有的身份管理解决方案不一致，安全性低，可用性受损。我们提出了一个新的框架来实现分布式应用程序（dApps）的动态基于角色的访问控制。该框架允许管理dApp上的访问控制，dApp与业务应用程序完全解耦，并与任何dApp无缝集成。智能合约架构允许独立管理业务逻辑和执行访问控制策略。它还有助于安全、低成本和高度灵活的访问控制管理。拟议的框架促进了访问控制策略的分散治理和高效的智能合约升级。我们还提供了定量和定性指标的有效性和效率的框架。任何图灵完备的智能合约程序设计语言都非常适合实现该框架。我们希望这个框架能够使企业和非企业dApps受益，并提供更大的访问控制灵活性，以及与传统和最先进的身份管理解决方案的有效集成。
2020-03-11 cs.CR cs.DC cs.SE
IMS: Intelligent Hardware Monitoring System for Secure SoCs
Institute of Computer and Network Engineering,TU Braunschweig, Braunschweig, Germany（布拉unsch维格技术大学计算机与网络工程学院）
本文提出IMS系统，利用神经网络实时检测AXI协议违规，实现高准确率与低延迟，适用于资源受限的边缘环境安全监控。
2026-01-16 cs.AR cs.CR cs.LG
