中文
相关论文

相关论文: Understanding Fuchsia Security

200 篇论文

We describe SAFIUS, a secure accountable file system that resides over an untrusted storage. SAFIUS provides strong security guarantees like confidentiality, integrity, prevention from rollback attacks, and accountability. SAFIUS also…

操作系统 · 计算机科学 2016-11-18 V Sriram , Ganesh Narayan , K Gopinath

The Unified Extensible Firmware Interface (UEFI) is a linchpin of modern computing systems, governing secure system initialization and booting. This paper is urgently needed because of the surge in UEFI-related attacks and vulnerabilities…

密码学与安全 · 计算机科学 2023-11-08 Priyanka Prakash Surve , Oleg Brodt , Mark Yampolskiy , Yuval Elovici , Asaf Shabtai

Fuzz testing (or fuzzing) is an effective technique used to find security vulnerabilities. It consists of feeding a software under test with malformed inputs, waiting for a weird system behaviour (often a crash of the system). Over the…

密码学与安全 · 计算机科学 2023-03-14 Marcello Maugeri , Cristian Daniele , Giampaolo Bella , Erik Poll

Privacy-Preserving Cloud Computing is an emerging technology with many applications in various fields. Cloud computing is important because it allows for scalability, adaptability, and improved security. Likewise, privacy in cloud computing…

密码学与安全 · 计算机科学 2022-04-26 Saeed Ahmadi , Maliheh Salehfar

Free and open source software (FOSS) is considered by many, along with Wikipedia, the proof of an ongoing paradigm shift from hierarchically-managed and market-driven production of knowledge to heterarchical, collaborative and commons-based…

计算机与社会 · 计算机科学 2010-12-30 Paolo Magrassi

In this article, the file system development design approaches are discussed. The selection of the file system design approach is done according to the needs of the developers what are the needed requirements and specifications for the new…

操作系统 · 计算机科学 2014-03-25 Brijender Kahanwal

A Java File Security System (JFSS) [1] has been developed by us. That is an ecrypted file system. It is developed by us because there are so many file data breaches in the past and current history and they are going to increase day by day…

软件工程 · 计算机科学 2013-12-09 Brijender Kahanwal , Tejinder Pal Singh

The Open Source Software movement has been growing exponentially for a number of years with no signs of slowing. Driving this growth is the widespread availability of libraries and frameworks that provide many functionalities. Developers…

软件工程 · 计算机科学 2022-06-22 Stan Zajdel , Diego Elias Costa , Hafedh Mili

Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the development of systems in which safety or security is…

计算机科学中的逻辑 · 计算机科学 2009-02-24 Eric Jaeger , Thérèse Hardin

Cloud computing is a new computational paradigm that offers an innovative business model for organizations to adopt IT without upfront investment. Despite the potential gains achieved from the cloud computing, the model security is still…

软件工程 · 计算机科学 2016-09-06 Mohamed Almorsy , John Grundy , Ingo Müller

The use of Artificial Intelligence (AI) in high-risk, decision-making scenarios presents technical, safety, and normative challenges; problems that may only be ameliorated by human oversight. However, notions of human oversight lack a…

Payments architectures are on the verge of a great bifurcation that must be documented in order to be debated. Google is moving towards a quasi bank while Apple and Google disseminate payment systems over smartphones. At the same time,…

计算机与社会 · 计算机科学 2017-08-15 Dominique Boullier , Niranjan Sivakumar , Maxime Crepel , Stéphane Juguet

Trust is an absolute necessity for digital communications; but is often viewed as an implicit singular entity. The use of the internet as the primary vehicle for information exchange has made accountability and verifiability of system code…

密码学与安全 · 计算机科学 2014-03-04 Orhio Mark Creado , Bala Srinivasan , Phu Dung Le , Jefferson Tan

Cloud computing is revolutionizing many ecosystems by providing organizations with computing resources featuring easy deployment, connectivity, configuration, automation and scalability. This paradigm shift raises a broad range of security…

密码学与安全 · 计算机科学 2016-01-08 Ali Gholami , Erwin Laure

Until recently, cyber-physical systems, especially those with safety-critical properties that manage critical infrastructure (e.g. power generation plants, water treatment facilities, etc.) were considered to be invulnerable against…

密码学与安全 · 计算机科学 2012-02-28 Sibin Mohan , Stanley Bak , Emiliano Betti , Heechul Yun , Lui Sha , Marco Caccamo

Fuzzing is a security testing methodology effective in finding bugs. In a nutshell, a fuzzer sends multiple slightly malformed messages to the software under test, hoping for crashes or weird system behaviour. The methodology is relatively…

密码学与安全 · 计算机科学 2023-01-09 Cristian Daniele , Seyed Behnam Andarzian , Erik Poll

There is much discussion and debate about how to improve the security and privacy of mobile communication systems, both voice and data. Most proposals attempt to provide incremental improvements to systems that are deployed today. Indeed,…

计算机与社会 · 计算机科学 2007-05-23 G. Winfield Treese , Lawrence C. Stewart

This paper proposes a frictionless authentication system, provides a comprehensive security analysis of and proposes potential solutions for this system. It first presents a system that allows users to authenticate to services in a…

密码学与安全 · 计算机科学 2018-02-21 Mustafa A. Mustafa , Aysajan Abidin , Enrique Argones Rúa

A number of software foundations have been created as legal instruments to better articulate the structure, collaboration and financial model of Open Source Software (OSS) projects. Some examples are the Apache, Linux, or Mozilla…

软件工程 · 计算机科学 2020-05-21 Javier Luis Cánovas Izquierdo , Jordi Cabot

Android Permission Model and Application (app) analysis has consistently remained the focus of the investigation of research groups and stakeholders of the Android ecosystem since it was launched in 2008. Even though the Android smartphone…

密码学与安全 · 计算机科学 2026-01-05 Rajendra Kumar Solanki , Vijay Laxmi , Manoj Singh Gaur