中文
相关论文

相关论文: Tailoring the Cyber Security Framework: How to Ove…

200 篇论文

Underutilization of computing resources and high power consumption are two primary challenges in the domain of Cloud resource management. This paper deals with these challenges through offline, migration impact-aware, multi-objective…

分布式、并行与集群计算 · 计算机科学 2017-06-22 Md Hasanul Ferdaus , Manzur Murshed , Rodrigo N. Calheiros , Rajkumar Buyya

When a network application is implmented as a virtual machine on a cloud and is used by a large number of users, the location of the virtual machine should be selected carefully so that the response time experienced by users is minimized.…

分布式、并行与集群计算 · 计算机科学 2014-01-10 Young-Chul Shim

Confidential Virtual Machines (CVMs) are a type of VMbased Trusted Execution Environments (TEEs) designed to enhance the security of cloud-based VMs, safeguarding them even from malicious hypervisors. Although CVMs have been widely adopted…

密码学与安全 · 计算机科学 2024-09-25 Shixuan Zhao , Mengyuan Li , Mengjia Yan , Zhiqiang Lin

The cloud-based environments in which today's and future quantum computers will operate, raise concerns about the security and privacy of user's intellectual property. Quantum circuits submitted to cloud-based quantum computer providers…

新兴技术 · 计算机科学 2023-08-09 Theodoros Trochatos , Chuanqi Xu , Sanjay Deshpande , Yao Lu , Yongshan Ding , Jakub Szefer

Over the last years, security kernels have played a promising role in reshaping the landscape of platform security on today's ubiquitous embedded devices. Security kernels, such as separation kernels, enable constructing high-assurance…

密码学与安全 · 计算机科学 2020-05-07 Hamed Nemati

Moving mission-oriented enterprise applications to cloud environments is a major IT strategic task and requires a systematic approach. The foci of this paper are to review and examine existing cloud migration approaches from the process…

软件工程 · 计算机科学 2020-04-23 Mahdi Fahmideh , Graham Low , Ghassan Beydoun , Farhad Daneshgar

Modern processors are increasingly featuring multiple cores, as well as support for hardware virtualization. While these processors are common in desktop and server-class computing, they are less prevalent in embedded and real-time systems.…

操作系统 · 计算机科学 2013-10-25 Richard West , Ye Li , Eric Missimer

As the number of cloud platforms supporting scientific research grows, there is an increasing need to support interoperability between two or more cloud platforms, as a growing amount of data is being hosted in cloud-based platforms. A well…

The proliferation of cloud computing technologies has paved the way for deploying networked encrypted control systems, offering high performance, remote accessibility and privacy. However, in scenarios where the control algorithms run on…

系统与控制 · 电气工程与系统科学 2024-05-30 Francesca Stabile , Walter Lucia , Amr Youssef , Giuseppe Franze

Cloud Computing holds the potential to eliminate the requirements for setting up of high-cost computing infrastructure for IT-based solutions and services that the industry uses. It promises to provide a flexible IT architecture, accessible…

密码学与安全 · 计算机科学 2015-06-04 Rohit Bhadauria , Sugata Sanyal

The recent advancement of cloud technology offers unparallel strength to support intelligent computations and advanced services to assist with automated decisions to improve road transportation safety and comfort. Besides, the rise of…

密码学与安全 · 计算机科学 2021-04-28 Khondokar Fida Hasan , Anthony Overall , Keyvan Ansari , Gowri Ramachandran , Raja Jurdak

Cloud Computing holds the potential to eliminate the requirements for setting up of high-cost computing infrastructure for the IT-based solutions and services that the industry uses. It promises to provide a flexible IT architecture,…

密码学与安全 · 计算机科学 2013-05-22 Rohit Bhadauria , Rituparna Chaki , Nabendu Chaki , Sugata Sanyal

Virtual switches have become popular among cloud operating systems to interconnect virtual machines in a more flexible manner. However, this paper demonstrates that virtual switches introduce new attack surfaces in cloud setups, whose…

网络与互联网体系结构 · 计算机科学 2017-02-13 Kashyap Thimmaraju , Bhargava Shastry , Tobias Fiebig , Felicitas Hetzelt , Jean-Pierre Seifert , Anja Feldmann , Stefan Schmid

Closed-loop verification of cyber-physical systems with neural network controllers offers strong safety guarantees under certain assumptions. It is, however, difficult to determine whether these guarantees apply at run time because…

计算机科学中的逻辑 · 计算机科学 2022-05-09 Ivan Ruchkin , Matthew Cleaveland , Radoslav Ivanov , Pengyuan Lu , Taylor Carpenter , Oleg Sokolsky , Insup Lee

Recent technological advancements have proliferated the use of small embedded devices for collecting, processing, and transferring the security-critical information. The Internet of Things (IoT) has enabled remote access and control of…

密码学与安全 · 计算机科学 2021-01-19 Avani Dave , Nilanjan Banerjee , Chintan Patel

In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the functionality of these systems. It is therefore necessary to…

Trust is the core building block of secure systems, and it is enforced through methods to ensure that a specific system is properly configured and works as expected. In this context, a Root of Trust (RoT) establishes a trusted environment,…

密码学与安全 · 计算机科学 2026-01-19 Grazia D'Onghia , Antonio Lioy

Cloud services have been used very widely, but configuration of the parameters, including the efficient allocation of resources, is an important objective for the system architect. The article is devoted to solving the problem of choosing…

分布式、并行与集群计算 · 计算机科学 2016-12-06 Evgeny Nikulchev , Evgeniy Pluzhnik , Oleg Lukyanchikov , Dmitry Biryukov , Elena Andrianova

Nowadays companies are increasingly adopting the technology ofcloud computing. This technology is subject to a lot of research and continuousadvances are made. The use of cloud computing in the companies advantagessuch as: reducing costs,…

We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems. Our proposed framework integrates two novel methodologies. From the design-time assurance perspective, we…

系统与控制 · 电气工程与系统科学 2022-05-17 Ali Baheri , Hao Ren , Benjamin Johnson , Pouria Razzaghi , Peng Wei