检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

375 篇 会议
6 篇 期刊文献

馆藏范围

381 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

332 篇 工学
- 324 篇 计算机科学与技术...
- 146 篇 软件工程
- 72 篇 控制科学与工程
- 25 篇 信息与通信工程
- 14 篇 电气工程
- 9 篇 安全科学与工程
- 3 篇 机械工程
- 3 篇 交通运输工程
- 3 篇 生物工程
- 2 篇 力学（可授工学、理...
- 2 篇 光学工程
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 化学工程与技术
- 2 篇 生物医学工程（可授...
- 2 篇 网络空间安全
35 篇 管理学
- 28 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 3 篇 工商管理
18 篇 理学
- 15 篇 数学
- 5 篇 统计学（可授理学、...
- 3 篇 生物学
9 篇 法学
- 9 篇 社会学
3 篇 医学
- 3 篇 基础医学(可授医学...
- 3 篇 临床医学
- 2 篇 公共卫生与预防医...
2 篇 经济学
- 2 篇 应用经济学
1 篇 教育学
- 1 篇 教育学

主题

138 篇 access control
15 篇 rbac
14 篇 privacy
14 篇 authorization
12 篇 security
11 篇 attribute-based ...
10 篇 relationship-bas...
9 篇 xacml
9 篇 usage control
8 篇 internet of thin...
8 篇 role-based acces...
8 篇 control system a...
7 篇 abac
6 篇 policy mining
5 篇 attributes
4 篇 xml
4 篇 information flow...
4 篇 policy enforceme...
4 篇 activity-centric...
4 篇 access control m...

机构

7 篇 purdue univ w la...
5 篇 suny stony brook...
5 篇 eindhoven univ t...
5 篇 suny albany alba...
4 篇 purdue universit...
4 篇 arizona state un...
4 篇 univ texas dalla...
4 篇 univ genoa dibri...
4 篇 carnegie mellon ...
4 篇 purdue univ dept...
3 篇 univ waterloo wa...
3 篇 department of co...
3 篇 univ kent sch co...
3 篇 swiss fed inst t...
3 篇 karlsruhe inst t...
3 篇 kings coll londo...
3 篇 iit kharagpur kh...
2 篇 univ trento dept...
2 篇 univ. of texas d...
2 篇 peking univ peop...

作者

16 篇 bertino elisa
11 篇 sandhu ravi
11 篇 ahn gail-joon
10 篇 lobo jorge
8 篇 li ninghui
7 篇 crampton jason
7 篇 ray indrakshi
6 篇 zannone nicola
6 篇 vaidya jaideep
6 篇 hu hongxin
6 篇 tripunitara mahe...
6 篇 stoller scott d.
6 篇 iyer padmavathi
5 篇 gupta maanak
5 篇 masoumzadeh amir...
5 篇 rubio-medrano ca...
5 篇 molloy ian
5 篇 kerschbaum flori...
5 篇 ranise silvio
5 篇 armando alessand...

语言

379 篇 英文
1 篇 葡萄牙文
1 篇 其他

检索条件"任意字段=Proceedings of the 17th ACM symposium on Access Control Models and Technologies"

共 381 条记录，以下是41-50 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Modular Composition of access control Policies: A Framework to Build Multi-Site Multi-Level Combinations 22

Modular Composition of Access Control Policies: A Framework ...

引用

27th acm symposium on access control models and technologies (SacmAT)

作者： Bertolissi, Clara Fernandez, Maribel Univ Aix Marseille CNRS UMR 7020 Marseille France Kings Coll London London England

ISBN: (纸本)9781450393577

We present general notions of access control policy composition using the CBAC model. We show that CBAC provides a uniform framework to define compositions of heterogeneous policies (e.g., RBAC and ABAC policies) as required in many practical situations. Compositions can be built both horizontally (where.. given policies are combined to define a new policy) and vertically (where policies are extended by adding administration layers). We show that under some conditions on the operations used to build the composition, it is possible to ensure that the result preserves desirable properties (such as liveness and effectiveness). We also discuss mechanisms to detect and eliminate conflicts that may arise when composing policies originating from different sources.

关键词： access control Policy Composition Policy Administration Policy Analysis Category-Based access control

来源：评论

学校读者我要写书评

暂无评论

WiP: AABAC - Automated Attribute Based access control for Genomics Data 22

WiP: AABAC - Automated Attribute Based Access Control for Ge...

引用

27th acm symposium on access control models and technologies (SacmAT)

作者： Reddick, David Presley, Justin Feltus, Frank Alex Shannigrahi, Susmit Tennessee Technol Univ Cookeville TN 38505 USA Clemson Univ Clemson SC USA

ISBN: (纸本)9781450393577

the COVID-19 crisis and the subsequent vaccine development have demonstrated the potential of cutting-edge genomics research. However, the privacy of these sensitive pieces of information is an area of significant concern for genomics researchers. the current security models make it difficult to create flexible, automated, and secure data-sharing frameworks. these models also increase the complexity of adding or revoking access. In this work, we investigate an automated attribute-based access control (AABAC) model for genomics data over Named Data Networking (NDN). AABAC secures the data itself rather than the storage location or transmission channel, provides automated data invalidation, and automates key retrieval and data validation while maintaining the ability to control access. When combined with NDN, we show that AABAC offers a secure and flexible access control framework.

关键词： Named Data Networking Genomics access control CP-ABE

来源：评论

学校读者我要写书评

暂无评论

Verifying vMVCC, a high-performance transaction library using multi-version concurrency control 17

Verifying vMVCC, a high-performance transaction library usin...

引用

17th USENIX symposium on Operating Systems Design and Implementation (OSDI)

作者： Chang, Yun-Sheng Jung, Ralf Sharma, Upamanyu Tassarotti, Joseph Kaashoek, M. Frans Zeldovich, Nickolai MIT CSAIL Cambridge MA USA Swiss Fed Inst Technol Zurich Switzerland New York Univ New York NY USA

ISBN: (纸本)9781939133342

Multi-version concurrency control (MVCC) is a widely used, sophisticated approach for handling concurrent transactions. vMVCC is the first MVCC-based transaction library that comes with a machine-checked proof of correctness, providing clients with a guarantee that it will correctly handle all transactions despite a complicated design and implementation that might otherwise be error-prone. vMVCC is implemented in Go, stores data in memory, and uses several optimizations, such as RDTSC-based timestamps, to achieve high performance (25-96% the throughput of Silo, a state-of-the-art in-memory database, for YCSB and TPC-C workloads). Formally specifying and verifying vMVCC required adopting advanced proof techniques, such as logical atomicity and prophecy variables, owing to the fact that MVCC transactions can linearize at timestamp generation prior to transaction execution.

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

17th International Conference on Graph Transformation, ICGT 2024, held as Part of Software technologies: Applications and Foundations, STAF 2024

17th International Conference on Graph Transformation, ICGT ...

引用

17th International Conference on Graph Transformation, ICGT 2024, held as Part of Software technologies: Applications and Foundations, STAF 2024

ISBN: (纸本)9783031642845

the proceedings contain 13 papers. the special focus in this conference is on Graph Transformation. the topics include: Generalized Weighted Type Graphs for Termination of Graph Transformation Systems;extension and Restriction of Derivations in Adhesive Categories;causal Graph Dynamics and Kan Extensions;the ‘Causality’ Quagmire for Formalised Bond Graphs;Localized RETE for Incremental Graph Queries;using Application Conditions to Rank Graph Transformations for Graph Repair;deriving Delay-Robust Timed Graph Transformation System models;Taint Analysis for Graph APIs Focusing on Broken access control;checking Transaction Isolation Violations Using Graph Queries;can I Teach Graph Rewriting to My Chatbot?;a Graph Transformation-Based Engine for the Automated Exploration of Constraint models.

关键词：

来源：评论

学校读者我要写书评

暂无评论

BlueSky: Activity control: A Vision for "Active" Security models for Smart Collaborative Systems 22

BlueSky: Activity Control: A Vision for "Active" Security Mo...

引用

27th acm symposium on access control models and technologies (SacmAT)

作者： Mawla, Tanjila Gupta, Maanak Sandhu, Ravi Tennessee Technol Univ Dept Comp Sci Cookeville TN 38505 USA Univ Texas San Antonio Inst Cyber Secur ICS San Antonio TX USA Univ Texas San Antonio NSF C SPECC Ctr San Antonio TX USA

ISBN: (纸本)9781450393577

Cyber physical ecosystem connects different intelligent devices over heterogeneous networks. Various operations are performed on smart objects to ensure efficiency and to support automation in smart environments. An Activity (defined by Gupta and Sandhu [17]) reflects the current state of an object, which changes in response to requested operations. Due to multiple running activities on different objects, it is critical to secure collaborative systems considering run-time decisions impacted due to related activities (and other parameters) supporting active enforcement of access control decision. Recently, Gupta and Sandhu [17] proposed Activity-Centric access control (ACAC) and discussed the notion of activity as a prime abstraction for access control in collaborative systems. the model provides an active security approach that considers activity decision factors such as authorizations, obligations, conditions, and dependencies among related device activities. this paper takes a step forward and presents the core components of an ACAC model and compares with other security models differentiating novel properties of ACAC. We highlight how existing models do not (or in limited scope) support 'active' decision and enforcement of authorization in collaborative systems. We propose a hierarchical structure for a family of ACAC models by gradually adding the properties related to notion of activity and discuss states of an activity. We highlight the convergence of ACAC with Zero Trust tenets to reflect how ACAC supports necessary security posture of distributed and connected smart ecosystems. this paper aims to gain a better understanding of ACAC in collaborative systems supporting novel abstractions, properties and requirements.

关键词： Smart Collaborative Systems IoT (Internet of things) Activity-centric access control Active Security Model

来源：评论

学校读者我要写书评

暂无评论

Higher-Order Relationship-Based access control: A Temporal Instantiation with IoT Applications 22

Higher-Order Relationship-Based Access Control: A Temporal I...

引用

27th acm symposium on access control models and technologies (SacmAT)

作者： Arora, Chahal Rizvi, Syed Zain R. Fong, Philip W. L. Univ Calgary Calgary AB Canada

ISBN: (纸本)9781450393577

Cyberphysical systems involve connected devices that are physically embedded. these devices enter into transient relationships with one another and with the environment. We propose an access control model, HO(T)-ReBAC, for facilitating access control in such dynamic environments. Specifically, HO(T)-ReBAC bases its authorization decisions on the history of relationship changes. We demonstrate the usefulness of this model in a case study on a Medical Internet-of-things application. We extend a recently proposed graph matching algorithm to handle temporality in our model, thereby yielding an efficient authorization mechanism, the performance of which has been evaluated empirically. this model is the first instantiation of a general idea, Higher-Order Relationship-Based access control, that we have been developing.

关键词： access control model Relationship-Based access control transient relationship temporality Allen relation policy language graph matching graph database Constraint Satisfaction Problem

来源：评论

学校读者我要写书评

暂无评论

Poster: Toward Zero-Trust Path-Aware access control 22

Poster: Toward Zero-Trust Path-Aware Access Control

引用

27th acm symposium on access control models and technologies (SacmAT)

作者： Seaton, Joshua H. Hounsinou, Sena Wood, Timothy Xu, Shouhuai Brown, Philip N. Bloom, Gedare Univ Colorado Colorado Springs Colorado Springs CO 80918 USA George Washington Univ Washington DC USA

ISBN: (纸本)9781450393577

In this poster, we introduce path-aware risk scores for access control (PARSAC), a novel context-sensitive technique to enrich access requests with risk scoring of the path taken by those requests between the authenticated user and the resources they access. these path-aware risk scores enable another layer of security for traditional access control systems that addresses the need for fine-grained monitoring and enforcement within a zero-trust architecture. We define rules for general functions that can be used to determine risk and instantiate a specific approach to calculate path risk scores. We evaluate our approach with realistic network graphs;PARSAC finds more paths with lower risk when compared with traditional routing algorithms that select the shortest path.

关键词： access control zero-trust path-aware networking

来源：评论

学校读者我要写书评

暂无评论

Modeling and Analysis of Latencies in Multi-User, Multi-RAT Edge Computing 19

Modeling and Analysis of Latencies in Multi-User, Multi-RAT ...

引用

19th acm International symposium on QoS and Security for Wireless and Mobile Networks (Q2SWinet)

作者： Balaji, Rushabha Mehta, Neelesh B. Singh, Chandramani Univ Calif San Diego Elect & Comp Engn La Jolla CA 92093 USA Indian Inst Sci ECE Bengaluru India Indian Inst Sci Elect Syst Engn Bengaluru India

ISBN: (纸本)9798400703683

Multi-access edge computing enables resource-constrained handsets to offload their tasks to edge servers through multiple radio access technologies (RATs). However, RATs such as cellular and wireless local area network (WLAN) have different access protocols, throughputs, and latencies. We present novel models for accurate analysis of the average task computation delay, accounting for the physical and media access control layer throughputs and latencies. Our analysis considers the uplink latency encountered in offloading tasks to edge servers and the downlink latency in downloading completed tasks from the server to the users. It accounts for the contention-based channel access in a WLAN, in which the number of users that contend is a random process, and the orthogonal channelization based access of a cellular network. We show that WLAN contention delays and their variability have a significant impact on the overall delay. through a tractable probabilistic offloading policy, we bring out the trade-offs between choosing the different RATs. We also benchmark the performance of this policy against an upper confidence bound (UCB)-based dynamic offloading policy.

关键词： Multi-access edge computing WLAN cellular network renewal theory fixed-point analysis

来源：评论

学校读者我要写书评

暂无评论

WiP: Metamodel for Continuous Authorisation and Usage control 22

WiP: Metamodel for Continuous Authorisation and Usage Contro...

引用

27th acm symposium on access control models and technologies (SacmAT)

作者： Hariri, Ali Ibrahim, Amjad Dimitrakos, theo Crispo, Bruno Huawei Technol Duesseldorf GmbH German Res Ctr Munich Germany Univ Trento Dept Informat Engn & Comp Sci Trento Italy Univ Kent Sch Comp Canterbury Kent England

ISBN: (纸本)9781450393577

access control has been traditionally used to protect data and privacy. Traditional access control models (e.g., ABAC, RBAC) cannot meet modern security requirements as technologies spread over heterogeneous and dynamic environments that need continuous monitoring. Modern models such as Usage control (UCON) introduced the concept of continuous authorisation that has a lifecycle consisting of a series of phases through which the authorisation passes during its lifetime. However, such models assume a fixed lifecycle for all authorisations, so they cannot satisfy emerging technologies (e.g., smart vehicles, zero-trust, data flow), which require various and fine-grained lifecycles. Researchers have extended existing models to meet such requirements, but all solutions remain restrictive, as they are specially tailored for specific use-cases. In this paper, we propose an extensible model for continuous authorisations and usage control. the model enables its users to customise and dynamically configure the authorisation lifecycle as required by the use-case. this adds a layer of abstraction, forming a metamodel that can be instantiated into different flavours of continuous authorisation models, each addressing specific requirements. We also show that the authorisation lifecycle can be modelled as Deterministic Finite Automaton (DFA) and expressed in a structured language used by an evaluation engine to dynamically enact and manage the lifecycle. We layout the building blocks of the proposed metamodel and devise future research directions.

关键词： UCON Usage control Continuous Authorisation Authorisation Lifecycle Extensible access control

来源：评论

学校读者我要写书评

暂无评论

Effective Evaluation of Relationship-Based access control Policy Mining 22

Effective Evaluation of Relationship-Based Access Control Po...

引用

27th acm symposium on access control models and technologies (SacmAT)

作者： Iyer, Padmavathi Masoumzadeh, Amirreza SUNY Albany Albany NY 12222 USA

ISBN: (纸本)9781450393577

Mining algorithms for relationship-based access control policies produce policies composed of relationship-based patterns that justify the input authorizations according to a given system graph. the correct functioning of a policy mining algorithm is typically tested based on experimental evaluations, in each of which the miner is presented with a set of authorizations and a system graph, and is expected to produce the corresponding ground truth policy. In this paper, we propose formal properties that must exist between the system graph and the ground truth policy in an evaluation test so that the miner is challenged to produce the exact ground truth policy. We show that failure to verify these properties in the experiment leads to inadequate evaluation, i.e., not truly testing whether the miner can handle the complexity of the ground truth policy. We also argue that following these properties would provide a computational advantage in the evaluations. We propose algorithms to identify and correct violations of these properties in system graphs. We also present our observations regarding these properties and their enforcement using a set of experimental studies.

关键词： policy mining relationship-based access control evaluation mining evaluation case synthetic test generation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共39页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：