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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

476 篇 会议
19 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

418 篇 工学
- 386 篇 计算机科学与技术...
- 175 篇 软件工程
- 93 篇 控制科学与工程
- 42 篇 信息与通信工程
- 24 篇 电气工程
- 10 篇 安全科学与工程
- 6 篇 机械工程
- 4 篇 生物工程
- 3 篇 力学（可授工学、理...
- 3 篇 动力工程及工程热...
- 3 篇 化学工程与技术
- 3 篇 交通运输工程
- 3 篇 环境科学与工程（可...
- 3 篇 生物医学工程（可授...
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
44 篇 管理学
- 31 篇 图书情报与档案管...
- 19 篇 管理科学与工程(可...
- 10 篇 工商管理
36 篇 理学
- 25 篇 数学
- 5 篇 物理学
- 5 篇 统计学（可授理学、...
- 4 篇 生物学
- 2 篇 系统科学
11 篇 法学
- 10 篇 社会学
5 篇 医学
- 5 篇 临床医学
- 4 篇 基础医学(可授医学...
- 4 篇 公共卫生与预防医...
3 篇 经济学
- 3 篇 应用经济学
2 篇 教育学
- 2 篇 教育学
1 篇 农学
1 篇 军事学

主题

158 篇 access control
26 篇 security
17 篇 rbac
15 篇 privacy
13 篇 authorization
10 篇 role-based acces...
9 篇 xml
8 篇 internet of thin...
8 篇 xacml
8 篇 relationship-bas...
8 篇 authentication
8 篇 attribute-based ...
8 篇 control system a...
8 篇 usage control
7 篇 cloud computing
6 篇 abac
6 篇 throughput
6 篇 semantics
5 篇 traffic control
5 篇 policy

机构

7 篇 purdue univ w la...
6 篇 eindhoven univ t...
6 篇 purdue univ dept...
5 篇 carnegie mellon ...
5 篇 suny albany alba...
4 篇 purdue universit...
4 篇 univ texas dalla...
4 篇 univ genoa dibri...
4 篇 johns hopkins un...
3 篇 univ kent sch co...
3 篇 karlsruhe inst t...
3 篇 kings coll londo...
3 篇 suny stony brook...
2 篇 univ waterloo wa...
2 篇 univ trento dept...
2 篇 univ genoa dipar...
2 篇 ecole polytech f...
2 篇 univ. of texas d...
2 篇 department of co...
2 篇 university of so...

作者

18 篇 bertino elisa
10 篇 li ninghui
10 篇 crampton jason
10 篇 lobo jorge
9 篇 sandhu ravi
9 篇 ahn gail-joon
7 篇 ray indrakshi
6 篇 zannone nicola
6 篇 tripunitara mahe...
6 篇 thuraisingham bh...
6 篇 stoller scott d.
6 篇 carminati barbar...
6 篇 iyer padmavathi
5 篇 masoumzadeh amir...
5 篇 rubio-medrano ca...
5 篇 vaidya jaideep
5 篇 molloy ian
5 篇 beznosov konstan...
5 篇 ferrara anna lis...
5 篇 kerschbaum flori...

语言

487 篇 英文
9 篇 其他
1 篇 中文

检索条件"任意字段=10th ACM Symposium on Access Control Models and Technologies"

共 496 条记录，以下是61-70 订阅

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

详细简洁

排序：

Poster: Towards Cloud-Based Software for Incorporating Time and Location into access control Decisions 21

Poster: Towards Cloud-Based Software for Incorporating Time ...

引用

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

作者： Al Lail, Mustafa Texas A&M Int Univ Laredo TX 78041 USA

ISBN: (纸本)9781450383653

the increasing dependency on cloud computing has drawn attention to the security weaknesses of cloud providers. Not only how information is accessed, but also where and when have become important considerations in cloud security. Certain situations exist where it is necessary to restrict access to cloud resources based on time and location. An example is a policy for a medical institution where doctors can only access patient records at hospitals during their shifts. the Generalized Spatio-Temporal Role-Based access control model (GSTRBAC) determines users' access to resources based on such information. this poster proposes a cloud-based software architecture and outlines it possible implementation of the GSTRBAC model.

关键词： access control authorization software location time

来源：评论

学校读者我要写书评

暂无评论

Towards a theory for Semantics and Expressiveness Analysis of Rule-Based access control models 21

Towards a Theory for Semantics and Expressiveness Analysis o...

引用

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

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

ISBN: (纸本)9781450383653

Recent access control models such as attribute-based access control and relationship-based access control allow flexible expression of authorization policies using the concepts of rules and conditional expressions. the independent nature of policy rules from each other and the amount of flexibility that they enjoy (e.g., the type of conditional expressions they support and whether they can permit or deny matching requests) make those policies quite expressive. But how expressive are they? Do we need to enable all possible flexibilities in a rule-based model to achieve the maximum possible expressiveness? Answering such questions is essential in making informed decisions when designing new models or choosing existing models for implementation. In this paper, we propose an approach towards answering those questions by developing a novel theory for capturing the semantics of rule-based policies depending on their support of different constructs such as flexibility of conditional expressions, rule modalities, and conflict resolution. Our formal policy semantics model enjoys an intuitive design that can capture the semantics of various rule-based policies. We show the well-formedness properties of such semantics and how they can be used to analyze the expressive power of a number of rule-based models.

关键词： conditions conditional expressions expressiveness policy analysis rule-based access control semantics

来源：评论

学校读者我要写书评

暂无评论

RESEARCH PROGRESS ON FAULT DIAGNOSIS OF MINING GEARBOX BASED ON CITESPACE 10

RESEARCH PROGRESS ON FAULT DIAGNOSIS OF MINING GEARBOX BASED...

引用

10th International symposium on Test Automation and Instrumentation, ISTAI 2024

作者： Li, Zihan Jiang, Zhanglei Zha, Zhendong Li, Yunpeng Liu, Xiuli The Ministry of Education Key Laboratory of Modern Measurement and Control Technology Beijing Information Science & Technology University Beijing China Shougang Mining Corporation Xingshan Iron Mine Tangshan China

ISBN: (纸本)9781837242672

Mining gearboxes are mechanical devices used to reduce rotational speed and increase torque, widely utilized in mining and heavy industrial equipment. To further understand the research progress and development trends in the field of fault diagnosis for mining gearboxes, a clustering and visualization analysis of English literature was conducted using the Web of Science database and the CiteSpace method. the analysis revealed that the performance and reliability of gearboxes have consistently been focal points for researchers, with a significant community of authors contributing to this field. the co-occurrence and clustering of keywords indicated that the research content is concentrated on fault diagnosis and optimization design. Moreover, the field is evolving towards intelligent diagnostics. Future development trends should focus on the introduction of data-driven and knowledge-guided artificial intelligence algorithm models and explainable intelligent diagnostic technologies. © the Institution of Engineering & Technology 2024.

关键词： Mining equipment

来源：评论

学校读者我要写书评

暂无评论

Short Paper: PSY: Posterior Sampling Based Privacy Enhancer in Large Language models 19th

Short Paper: PSY: Posterior Sampling Based Privacy Enhancer ...

引用

19th International Workshop on Data Privacy Management, DPM 2024, 8th International Workshop on Cryptocurrencies and Blockchain Technology, CBT 2024 and 10th Workshop on the Security of Industrial control Systems and of Cyber-Physical Systems, CyberICPS 2024 which were held in conjunction with the 29th European symposium on Research in Computer Security, ESORICS 2024

作者： Sun, Yulian Duan, Li Li, Yong Huawei Technologies Düsseldorf Düsseldorf Germany Paderborn University Paderborn Germany Ruhr University Bochum Bochum Germany

ISBN: (纸本)9783031823619

Privacy vulnerabilities in LLMs, such as leakage from memorization, have been constantly identified, and various mitigation proposals have been proposed. LoRA is usually used in fine-tuning LLMs and a good entry point to insert privacy-enhancing modules. In this ongoing research, we introduce PSY, a Posterior Sampling based PrivacY enhancer that can be used in LoRA. We propose a simple yet effective realization of PSY using posterior sampling, which effectively prevents privacy leakage from intermediate information and, in turn, preserves the privacy of data owners. We evaluate LoRA extended with PSY against state-of-the-art membership inference and data extraction attacks. the experiments are executed on three different LLM architectures fine-tuned on three datasets with LoRA. In contrast to the commonly used differential privacy method, we find that our proposed modification consistently reduces the attack success rate. Meanwhile, our method has almost no negative impact on model fine-tuning or final performance. Most importantly, PSY reveals a promising path towards privacy enhancement with latent space extensions. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Information leakage

来源：评论

学校读者我要写书评

暂无评论

Towards Unifying RBAC with Information Flow control 21

Towards Unifying RBAC with Information Flow Control

引用

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

作者： Radhika, B. S. Kumar, Narendra N., V Shyamasundar, R. K. Indian Inst Technol Bombay 400076 Maharashtra India Inst Dev & Res Banking Technol Hyderabad 500057 India

ISBN: (纸本)9781450383653

Role-based access control (RBAC) is one of the most widely implemented access control models. In today's complex computing systems, one of the increasingly sought-after features for reliable security is information flow control. Although RBAC is a policy-neutral and generic model, its implementations generally do not provide information flow control. In this paper, we present two approaches to address this issue. In the first method, we describe how a lattice model can be captured using an RBAC configuration. In the second method, we analyze the information flows in a given RBAC policy using a decentralized lattice model called Readers-Writers Flow Model. this method identifies the indirect information flows in the policy and helps in creating flow-secure RBAC policies. We discuss the scope and limitations of these methods in detail and also present a brief case study. Finally, we investigate the use of flow-secure RBAC policies in creating flow-secure Attribute-based access control (ABAC) policies.

关键词： Role-Based access control Information Flow control Readers-Writers Flow Model ABAC Mining RBAC Flow-Secure Policy

来源：评论

学校读者我要写书评

暂无评论

In-Memory Policy Indexing for Policy Retrieval Points in Attribute-Based access control 21

In-Memory Policy Indexing for Policy Retrieval Points in Att...

引用

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

作者： Heutelbeck, Dominic Baur, Marc Lucas Kluba, Martin FTK Forschungsinst Telekommunikat & Kooperat eV Dortmund Germany

ISBN: (纸本)9781450383653

Attribute-Based access control (ABAC) systems are using machine-readable rules for making access control decisions. Rules are collected in documents, the named policies, or policy sets. these are expressed in a specific policy language, such as XacmL, ALFA, or SAPL. Within systems implementing the ABAC reference architecture, policy documents are persisted in a Policy Retrieval Point (PRP). this paper addresses the problem of efficiently retrieving policy documents applicable to a given authorization request (or subscription) from the PRP. Applicability is determined by a specific section of the document, commonly named target expression. the target expression consists of matching conditions, more precisely Boolean expressions based on request (or subscription) data. this paper presents a novel in-memory data structure that is used to index policy documents. the index allows retrieving documents matching a given authorization request more efficiently from a large set of policies. the empirical evaluation demonstrates, that the proposed algorithm can reduce policy retrieval time in PRPs by up to 98%, depending on the structure of the policies.

关键词： access control data structures Boolean function search policy languages attribute-based access control

来源：评论

学校读者我要写书评

暂无评论

Utilizing Key Internet of things Concepts in Improving the Performance of Card-Based access control Systems for Vehicles in Truck-Loading Fuels Terminals 10

Utilizing Key Internet of Things Concepts in Improving the P...

引用

10th International Conference on Industrial Engineering and Applications, ICIEA 2023

作者： Bahgat, Moatz M. Farag, Hania H. Alim, Onsy Abdel Faculty of Engineering Alexandria University China

ISBN: (纸本)9781643684086

the Internet of things (IoT) is viewed as the umbrella under which heterogeneous devices are connected to form what is called the network of the future (NoF). In the IoT era, all objects and devices are instrumented, interconnected, and interacted with each other in a smart manner. those smart things gather huge amounts of data from the real world and stream them up to the digital services running in the cloud. this paper;however, attempts to demonstrate practically that the Internet of things is more than just connecting the cyber and physical worlds, but it may also improve the performance of existing systems and applications drastically if its concepts were used efficiently. Many different types of communication systems and networks might benefit from the efficient utilization of IoT concepts, being architectural concepts, communication models, or key IoT-enabling technologies. © 2023 the authors and IOS Press.

关键词： access control

来源：评论

学校读者我要写书评

暂无评论

Mutation Analysis of NGAC Policies 21

Mutation Analysis of NGAC Policies

引用

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

作者： Chen, Erzhuo Dubrovenski, Vladislav Xu, Dianxiang Univ Missouri Kansas City Dept Comp Sci Elect Engn Kansas City MO 64110 USA

ISBN: (纸本)9781450383653

the NGAC (Next Generation access control) standard for attribute-based access control (ABAC) allows for run-time changes of the permission and prohibition configurations through administrative obligations triggered by access events. It makes access control more fine-grained and dynamic. However, it raises challenges for assuring the correctness of NGAC policies. As policy testing is an important technique for quality assurance, this paper presents an approach to mutation analysis of NGAC policies. It can evaluate the effectiveness of a testing method and reveal potential faults in an inadequately tested policy. the mutation analysis covers various types of potential faults in the assignments, associations, prohibitions, and obligations of NGAC policies. this paper also proposes an incremental testing approach that first validates the initial configuration of a policy and then the policy as a whole. It helps determine whether faults appear in the configuration or the obligations. To evaluate the work, we have developed four working policies and their test suites based on the current NGAC reference implementation. the empirical studies showthat the mutation analysis can shed light on the strengths and weaknesses of the test suites. they also demonstrate the need for developing more cost-effective testing methods.

关键词： access control Next Generation access control (NGAC) mutation testing policy testing

来源：评论

学校读者我要写书评

暂无评论

Towards Correct Smart Contracts: A Case Study on Formal Verification of access control 21

Towards Correct Smart Contracts: A Case Study on Formal Veri...

引用

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

作者： Schiffl, Jonas Grundmann, Matthias Leinweber, Marc Stengele, Oliver Friebe, Sebastian Beckert, Bernhard Karlsruhe Inst Technol Inst Informat Secur & Dependabil KASTEL Karlsruhe Germany Karlsruhe Inst Technol Inst Telemat Karlsruhe Germany

ISBN: (纸本)9781450383653

Ethereum is a platform for deploying smart contracts, which due to their public nature and the financial value of the assets they manage are attractive targets for attacks. With asset management as a main task of smart contracts, access control aspects are naturally part of the application itself, but also of the functions implemented in a smart contract. therefore, it is desirable to establish the correctness of smart contracts and their access control on application and single-function level through formal methods. However, there is no established methodology of formalising and verifying correctness properties of smart contracts. In this work, we make an attempt in this direction on the basis of a case study. We choose an existing smart contract application which aims to ascertain the integrity of binary files distributed over the Internet by means of decentralised identity management and access control. We formally specify and verify correctness at the level of single functions as well as temporal properties of the overall application. We demonstrate how to use verified low-level correctness properties for showing correctness at the higher level. In addition, we report on our experience with existing verification tools.

关键词： Smart Contracts Formal Verification access control

来源：评论

学校读者我要写书评

暂无评论

Demo: Attribute-Stream-Based access control (ASBAC) with the Streaming Attribute Policy Language (SAPL) 21

Demo: Attribute-Stream-Based Access Control (ASBAC) with the...

引用

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

作者： Heutelbeck, Dominic FTK Forschungsinst Telekommunikat & Kooperat eV Dortmund Nrw Germany

ISBN: (纸本)9781450383653

Traditional Attribute-Based access control (ABAC) implementations are based on a request-response protocol resulting in one decision for one authorization request. In stateful, session-based applications this may lead to polling the policy decision point (PDP) and policy information points (PIPs) referenced by policies. this leads to the well-known trade-offs between polling frequency and latency of updates becoming known to the client. Attribute-Stream-based access control (ASBAC) is an authorization model employing a publish-subscribe pattern protocol where a single subscription results in a stream of decisions dynamically updating based on the streams of changing attribute values, streams of changing policies, and PDP configuration. this demonstration will show the basic architecture of ASBAC based systems, show how the model is implemented by the Streaming Attribute Policy Language (SAPL) and its engine. the SAPL engine is available as Open Source for security researchers and practitioners. First, the overall architecture of the engine will be introduced, followed by a short demo of the publish-subscribe protocol. Afterward, several key features of SAPL are demonstrated in an authoring and administration environment. Next, a full-stack web application employing SAPL is demonstrated, showing how Policy Enforcement Points (PEPs) are established. the demonstration concludes with a demo of the SAPL tools for testing policies and calculating test metrics on policies.

关键词： access control data structures policy languages attribute-based access control data streams

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共50页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：