中文
相关论文

相关论文: FreeBSD Mandatory Access Control Usage for Impleme…

200 篇论文

Oracle E-Business Suite R12 is a widely used ERP solution that provides integrated view of information across multiple functions and sources. It allows for simplified business process tools for Shared service model e.g. Centralized…

密码学与安全 · 计算机科学 2023-04-27 Sajid Rahim

In these days embedded system have an important role in different Fields and applications like Network embedded system , Real-time embedded systems which supports the mission-critical domains, mostly having the time constraints, Stand-alone…

其他计算机科学 · 计算机科学 2016-10-26 Qamar Jabeen , Fazlullah Khan , Muhammad Nouman Hayat , Haroon Khan , Syed Roohullah Jan , Farman Ullah

The frequency with which spreadsheets are used and the associated risk is well known. Many tools and techniques have been developed which help reduce risks associate with creating and maintaining spreadsheet. However, little consideration…

人机交互 · 计算机科学 2009-08-13 Mel Glass , David Ford , Sebastian Dewhurst

Business process management (BPM) and accompanying systems aim at enabling enterprises to become adaptive. In spite of the dependency of enterprises on secure business processes, BPM languages and techniques provide only little support for…

密码学与安全 · 计算机科学 2012-04-06 Jörn Eichler

Authoring access control policies is challenging and prone to misconfigurations. Access control policies must be conflict-free. Hence, administrators should identify discrepancies between policy specifications and their intended function to…

密码学与安全 · 计算机科学 2023-03-30 Antonios Gouglidis , Anna Kagia , Vincent C. Hu

The problems which are important for the effective functioning of an access control policy in a large information system (LIS) are selected. The general concept of a local optimization of a role-based access control (RBAC) model is…

密码学与安全 · 计算机科学 2018-12-27 N. F. Bogachenko

In its Vision and Strategy for Software for Science, Engineering, and Education the NSF states that it will invest in activities that: "Recognize that software strategies must include the secure and reliable deployment and operation of…

密码学与安全 · 计算机科学 2013-09-09 Randy Heiland , Betsy Thomas , Von Welch , Craig Jackson

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

Over the years, access control systems have become more and more sophisticated and several security measures have been employed to combat the menace of insecurity of lives and property. This is done by preventing unauthorized entrance into…

其他计算机科学 · 计算机科学 2012-12-27 Sadeque Reza Khan

Context: Database-backed applications often run queries with more authority than necessary. Since programs can access more data than they legitimately need, flaws in security checks at the application level can enable malicious or buggy…

编程语言 · 计算机科学 2019-09-27 Ezra Zigmond , Stephen Chong , Christos Dimoulas , Scott Moore

Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validation obligations that enable formalizing requirements early…

计算机科学中的逻辑 · 计算机科学 2022-07-08 Sebastian Stock , Atif Mashkoor , Alexander Egyed

The microservice bombshells that have been linked with the microservice expansion have altered the application architectures, offered agility and scalability in terms of complexity in security trade-offs. Feeble legacy-based perimeter-based…

密码学与安全 · 计算机科学 2025-11-10 Rethish Nair Rajendran , Sathish Krishna Anumula , Dileep Kumar Rai , Sachin Agrawal

As an emerging application paradigm, serverless computing attracts attention from more and more attackers. Unfortunately, security tools for conventional applications cannot be easily ported to serverless, and existing serverless security…

密码学与安全 · 计算机科学 2020-11-11 Deepak Sirone Jegan , Liang Wang , Siddhant Bhagat , Thomas Ristenpart , Michael Swift

Today's mobile devices sense, collect, and store huge amounts of personal information, which users share with family and friends through a wide range of applications. Once users give applications access to their data, they must implicitly…

Context: Continuous Software Engineering is increasingly adopted in highly regulated domains, raising the need for continuous compliance. Adherence to especially security regulations -- a major concern in highly regulated domains -- renders…

软件工程 · 计算机科学 2024-08-02 Florian Angermeir , Jannik Fischbach , Fabiola Moyón , Daniel Mendez

The General Data Protection Regulation (GDPR) forces IT companies to comply with a number of principles when dealing with European citizens' personal data. Non-compliant companies are exposed to penalties which may represent up to 4% of…

Semantic Web is an open, distributed, and dynamic environment where access to resources cannot be controlled in a safe manner unless the access decision takes into account during discovery of web services. Security becomes the crucial…

其他计算机科学 · 计算机科学 2011-05-03 Mandeep Kaur Gondara

Controlled sharing is fundamental to distributed systems. We consider a capability-based distributed authorization system where a client receives capabilities (access tokens) from an authorization server to access the resources of resource…

密码学与安全 · 计算机科学 2022-11-10 Adrian Shuai Li , Reihaneh Safavi-Naini , Philip W. L. Fong

Many studies have been done to improve the performance of centrally controlled business processes and enhance the integration between different parties of these collaborations. However, the most serious issues of collaborative business…

密码学与安全 · 计算机科学 2019-04-12 Vahid Pourheidari , Sara Rouhani , Ralph deters

We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems specified as event systems with fairness. We give proof rules for…

计算机科学中的逻辑 · 计算机科学 2016-08-16 Dominique Méry , Stephan Merz