English
Related papers

Related papers: FreeBSD Mandatory Access Control Usage for Impleme…

200 papers

The specification and enforcement of network-wide policies in a single administrative domain is common in today's networks and considered as already resolved. However, this is not the case for multi-administrative domains, e.g. among…

Networking and Internet Architecture · Computer Science 2019-01-14 Jordi Paillisse , Jordi Subira , Albert Lopez , Alberto Rodriguez-Natal , Vina Ermagan , Fabio Maino , Albert Cabellos

Memory-management support for lock-free data structures is well known to be a tough problem. Recent work has successfully reduced the overhead of such schemes. However, applying memory-management support to a data structure remains complex…

Programming Languages · Computer Science 2018-08-21 Nachshon Cohen

The last few years have witnessed a spate of data protection regulations in conjunction with an ever-growing appetite for data usage in large businesses, which presents significant challenges for businesses to maintain compliance. To…

In this work, we outline a cross-domain assurance process for safety-relevant software in embedded systems. This process aims to be applied in various different application domains and in conjunction with any development methodology. With…

Software Engineering · Computer Science 2021-06-07 Marc Zeller , Kai Hoefig , Martin Rothfelder

Along with the development of intelligent manufacturing, especially with the high connectivity of the industrial control system (ICS), the network security of ICS becomes more important. And in recent years, there has been much research on…

Cryptography and Security · Computer Science 2023-08-08 Yang Li , Shihao Wu , Quan Pan

There is widespread agreement that cloud computing have proven cost cutting and agility benefits. However, security and regulatory compliance issues are continuing to challenge the wide acceptance of such technology both from social and…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-11-14 Hanene Boussi Rahmouni , Kamran Munir , Mohammed Odeh , Richard McClatchey

Biometric authentication systems are presented as the best way to reach high security levels in controlling access to IT systems or sensitive infrastructures. But several issues are often not taken properly into account. In order for the…

Cryptography and Security · Computer Science 2012-03-05 Alfredo Esposito

Safely integrating third-party code in applications while protecting the confidentiality of information is a long-standing problem. Pure functional programming languages, like Haskell, make it possible to enforce lightweight…

Programming Languages · Computer Science 2019-04-18 Simon Gregersen , Søren Eller Thomsen , Aslan Askarov

Android filesystem access control provides a foundation for Android system integrity. Android utilizes a combination of mandatory (e.g., SEAndroid) and discretionary (e.g., UNIX permissions) access control, both to protect the Android…

Cryptography and Security · Computer Science 2020-08-11 Yu-Tsung Lee , William Enck , Haining Chen , Hayawardh Vijayakumar , Ninghui Li , Daimeng Wang , Zhiyun Qian , Giuseppe Petracca , Trent Jaeger

Broken access control is one of the most common security vulnerabilities in web applications. These vulnerabilities are the major cause of many data breach incidents, which result in privacy concern and revenue loss. However, preventing and…

Cryptography and Security · Computer Science 2023-04-24 Li Zhong

Industrial Control Systems (ICS) encompassing resources for process automation are subjected to a wide variety of security threats. The threat landscape is arising due to increased adoption of Commercial-of-the-shelf (COTS) products as well…

Cryptography and Security · Computer Science 2015-10-08 Abhinav Biswas , Sukanya Karunakaran

In traditional access control policies, every access granted and administrative account introduces an additional vulnerability, as a corruption of a high-privilege user can compromise several sensitive files. Privocracy is an access control…

Cryptography and Security · Computer Science 2026-02-03 Pedro Camponês , Hugo Pereira , Adrian Persaud , Kevin Gallagher , Santiago Torres-Arias

In shared-memory concurrent programming, shared resources can be protected using synchronization mechanisms such as monitors or channels. The connection between these mechanisms and the resources they protect is, however, only given…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-07-07 Mischael Schill , Sebastian Nanz , Bertrand Meyer

Multi-objective safety-critical control entails a diligent design to avoid possibly conflicting scenarios and ensure safety. This paper addresses multi-objective safety-critical control through a novel approach utilizing barrier states…

Systems and Control · Electrical Eng. & Systems 2025-07-08 Hassan Almubarak , Nader Sadegh , Evangelos A. Theodorou

The 21st century belongs to the world of computing, specially as a result of the so-called cloud computing. This technology enables ubiquitous information management and thus people can access all their data from any place and at any time.…

Cryptography and Security · Computer Science 2016-10-28 Alejandro Sanchez-Gomez , Jesus Diaz , David Arroyo

The EU DataGrid has deployed a grid testbed at approximately 20 sites across Europe, with several hundred registered users. This paper describes authorisation systems produced by GridPP and currently used on the EU DataGrid Testbed,…

Distributed, Parallel, and Cluster Computing · Computer Science 2008-11-26 A. McNab

A computer is nothing but a device that processes the instructions supplied to it. However, as computers evolved, the instructions or codes started to be more complicated. As computers started to be used by non-technical people, it became…

Cryptography and Security · Computer Science 2026-01-29 Aditya Mitra , Hamza Haroon , Amaan Rais Shah , Mohammad Elham Rasooli , Bogdan Itsam Dorantes Nikolaev , Tuğçe Ballı

We consider the problem of extending XML databases with fine-grained, high-level access control policies specified using XPath expressions. Most prior work checks individual updates dynamically, which is expensive (requiring worst-case…

Databases · Computer Science 2013-08-05 James Cheney

Experts agree that keeping systems up to date is a powerful security measure. Previous work found that users sometimes explicitly refrain from performing timely updates, e.g., due to bad experiences which has a negative impact on end-user…

Human-Computer Interaction · Computer Science 2020-07-20 Christian Tiefenau , Maximilian Häring , Katharina Krombholz , Emanuel von Zezschwitz

The LOCKSS program has developed and deployed in a world-wide test a system for preserving access to academic journals published on the Web. The fundamental problem for any digital preservation system is that it must be affordable for the…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 David S. H. Rosenthal