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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

462 篇 会议
21 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

405 篇 工学
- 372 篇 计算机科学与技术...
- 165 篇 软件工程
- 81 篇 控制科学与工程
- 59 篇 信息与通信工程
- 38 篇 电气工程
- 10 篇 安全科学与工程
- 6 篇 机械工程
- 6 篇 电子科学与技术（可...
- 5 篇 动力工程及工程热...
- 4 篇 材料科学与工程（可...
- 4 篇 环境科学与工程（可...
- 3 篇 水利工程
- 3 篇 化学工程与技术
- 3 篇 城乡规划学
- 3 篇 网络空间安全
- 2 篇 力学（可授工学、理...
- 2 篇 建筑学
- 2 篇 石油与天然气工程
40 篇 管理学
- 27 篇 图书情报与档案管...
- 17 篇 管理科学与工程(可...
- 7 篇 工商管理
30 篇 理学
- 21 篇 数学
- 7 篇 统计学（可授理学、...
- 5 篇 物理学
- 2 篇 化学
- 2 篇 生物学
- 2 篇 系统科学
8 篇 法学
- 8 篇 社会学
4 篇 经济学
- 4 篇 应用经济学
3 篇 医学
- 3 篇 基础医学(可授医学...
1 篇 教育学
1 篇 农学

主题

156 篇 access control
26 篇 security
17 篇 rbac
14 篇 authorization
12 篇 privacy
9 篇 role-based acces...
8 篇 internet of thin...
8 篇 xacml
8 篇 relationship-bas...
8 篇 attribute-based ...
8 篇 control system a...
8 篇 usage control
7 篇 analytical model...
6 篇 xml
5 篇 abac
5 篇 traffic control
5 篇 authentication
5 篇 access control m...
5 篇 design
5 篇 semantics

机构

8 篇 purdue univ w la...
6 篇 purdue univ dept...
5 篇 carnegie mellon ...
5 篇 eindhoven univ t...
5 篇 suny albany alba...
4 篇 purdue universit...
4 篇 univ texas dalla...
4 篇 univ genoa dibri...
3 篇 colorado state u...
3 篇 univ kent sch co...
3 篇 karlsruhe inst t...
3 篇 kings coll londo...
3 篇 suny stony brook...
3 篇 tennessee techno...
2 篇 univ waterloo wa...
2 篇 univ trento dept...
2 篇 univ genoa dipar...
2 篇 ecole polytech f...
2 篇 beihang univ eco...
2 篇 univ. of texas d...

作者

19 篇 bertino elisa
10 篇 crampton jason
10 篇 lobo jorge
10 篇 sandhu ravi
9 篇 li ninghui
9 篇 ahn gail-joon
8 篇 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...

语言

473 篇 英文
8 篇 其他
1 篇 西班牙文
1 篇 中文

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

共 483 条记录，以下是71-80 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Expressive Bilateral access control for Internet-of-things in Cloud-Fog Computing 21

Expressive Bilateral Access Control for Internet-of-Things i...

引用

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

作者： Xu, Shengmin Ning, Jianting Ma, Jinhua Huang, Xinyi Pang, Hwee Hwa Deng, Robert H. Fujian Normal Univ Fuzhou Fujian Peoples R China Singapore Management Univ Singapore Singapore Chinese Acad Sci State Key Lab Informat Secur Inst Informat Engn Beijing 100093 Peoples R China

ISBN: (纸本)9781450383653

As a versatile system architecture, cloud-fog Internet-of-things (IoT) enables multiple resource-constrained devices to communicate and collaborate with each other. By outsourcing local data and immigrating expensive workloads to cloud service providers and fog nodes (FNs), resource-constrained devices can enjoy data services with low latency and minimal cost. To protect data security and privacy in the untrusted cloud-fog environment, many cryptographic mechanisms have been invented. Unfortunately, most of them are impractical when directly applied to cloud-fog IoT computing, mainly due to the large number of resource-constrained end-devices (EDs). In this paper, we present a secure cloud-fog IoT data sharing system with bilateral access control based on a new cryptographic tool called lightweight matchmaking encryption. Our system enforces both sender access control and receiver access control simultaneously and adapts to resource-constrained EDs by outsourcing costly workloads to FNs. We conduct extensive experiments to demonstrate the superior performance of our system to the most relevant solutions in the literature.

关键词： Internet-of-things Bilateral access control Cloud-Fog Computing

来源：评论

学校读者我要写书评

暂无评论

P-sharding: Streamline Emergency Medical Transactions via Priority Sharding 13th

P-sharding: Streamline Emergency Medical Transactions via Pr...

引用

13th EAI International Conference on Ad Hoc Networks (ADHOCNETS) / 16th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information technologies (TRIDENTCOM)

作者： Saini, Akanksha Kaur, Navneesh Singh, Navneet Wijaya, Dimaz Deakin Blockchain Innovat Lab Sch Informat Technol Geelong Vic Australia Catholic Univ Korea Dept Informat Commun & Elect Engn Seoul South Korea Deakin Univ Sch Informat Technol Geelong Vic Australia

ISBN: (纸本)9783030980054;9783030980047

In recent years, several blockchain-based access control models have been emerged to give individuals control over their sensitive Electronic Medical Records (EMRs) in the healthcare sector. From our extensive literature review, we observe that currently, these models have no provision of prioritising the emergency transactions. this critically affects the quick and streamline sharing of EMRs in a multi-domain network environment. Further, it restricts the optimal usage of blockchain network affecting scalability. Sharding has arisen as a viable option for addressing the issue of blockchain's scalability and performance. Motivated from this, in this paper, we first propose prioritised sharding (P-sharding), a novel mechanism to streamline the processing of priority or emergency transactions in blockchain-based access control models by improving the throughput of each prioritised shard, in the context of multi-domain healthcare networks. Finally, the performance of the model is verified, validated, and also compared with the existing sharding mechanism. the obtained results are promising and encourage to further sparkle this direction.

关键词： Blockchain-based access model Electronic medical records Healthcare Priority transactions Scalability Sharding

来源：评论

学校读者我要写书评

暂无评论

Network (In)security: Leniency in Protocols' Design, Code and Configuration 22

Network (In)security: Leniency in Protocols' Design, Code an...

引用

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

作者： Hoque, Endadul Syracuse Univ Syracuse NY 13210 USA

ISBN: (纸本)9781450393577

Protocols are one of the founding pillars of network communication. Given their importance, protocols have received great attention not only from the research community but also from adversaries. Protocols, particularly their implementations, have been lucrative targets for adversarial attacks to induce network insecurity by compromising the guarantees that these implementations should provide. Most of these attacks can be traced back to the leniency in their design, code, or configuration. Finding leniency in implementations is challenging as these lenient instances are primarily tied to the semantics of the protocol and thus demand for techniques unlike existing approaches that we use for finding low-level memory corruption *** this talk, I will discuss our experience and lesson learned in detecting leniency in different layers of the TCP/IP network protocol stack. First, I will show how leniency in the design of loss-based TCP congestion control schemes can be exploited by an attacker to manipulate the victim into taking actions favorable for the attacker. I will introduce our model-guided fuzzing approach to find such manipulation attacks in different TCP implementations part of mainstream operating systems (e.g., Linux, Windows). Next, I will focus on leniency in code, where an implementation exhibits noncompliance with its design. Specifically, I will talk about how lenient implementations of X.509 certificate validation in SSL/TLS libraries can be exploited by an attacker to mount impersonation attacks. Finally, I will highlight that it is not always the protocol's design or code, sometimes it is humans: the users and/or the IT (Information Technology) administrators. Specifically, I will present our multifaceted measurement study where we examined the WPA2-Enterprise Wi-Fi configurations prescribed in tertiary education institutes (TEIs) around the world. I will share our findings about the widespread insecure practices that can leave users of these inst

关键词： Implementation bugs TCP Congestion control Fuzzing Symbolic execution Authentication PKI X.509 Certificate

来源：评论

学校读者我要写书评

暂无评论

Can I Reach You? Do I Need To? New Semantics in Security Policy Specification and Testing 21

Can I Reach You? Do I Need To? New Semantics in Security Pol...

引用

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

作者： Katsis, Charalampos Cicala, Fabrizio thomsen, Dan Ringo, Nathan Bertino, Elisa Purdue Univ W Lafayette IN 47907 USA SIFT LLC Minneapolis MN USA

ISBN: (纸本)9781450383653

the zero trust principle only allows authorized and authenticated actions in a computer network. A network policy satisfies the least privilege principle by minimizing the network permissions to only those needed by users and applications. However, administrators face many challenges in creating a least privilege policy since it requires a detailed understanding of the network topology and knowing the communication requirements of every network application and user. this paper addresses those challenges by introducing a graph-based policy specification framework to capture a network's communication requirements and a network compiler that turns those requirements into an enforceable policy. To offset the effort of building such a stringent policy, we incorporate patterns to spread the work of policy creation over time and people. In the paper, we first elaborate on how our framework's semantics enhances network security and resilience. We then introduce a Security Policy Regression Testing tool (SPRT), which leverages our framework's semantics, to test and reason about consistency, correctness, and relevance of network security policies. Finally, we outline relevant research directions.

关键词： Security policy enforcement testing access control network security zero trust least privilege policy

来源：评论

学校读者我要写书评

暂无评论

Archetype Building Energy models for Residential Sector: Importance of Uncontrolled Inputs in Predictive control and Energy Flexibility 13

Archetype Building Energy Models for Residential Sector: Imp...

引用

13th Nordic symposium on Building Physics, NSB 2023

作者： Abtahi, S.M. Athienitis, A.K. Delcroix, B. Centre for Zero Energy Building Studies Department of Building Civil and Environmental Engineering Concordia University MontrealQC Canada ShawiniganQC Canada

A 1st-order gray-box archetype is developed using high-quality measurements from an unoccupied experimental house to investigate the sensitivity of economic model-based predictive control performance under Quebec's dynamic electricity tariff for the residential sector, rate Flex-D, to uncertainty in the weather forecast. the archetype incorporates the outside air temperature and the solar gain as uncontrolled heat sources and has three parameters: the overall thermal capacitance, the thermal resistance to the outside air temperature, and the solar aperture. the performance of economic model-based predictive control is compared under the uncertain day-ahead forecast and the historical measurements of the same day. the results show that the most influential uncontrolled input directing the performance of economic model-based predictive control under rate Flex-D is the price signal, which makes the impact of uncertainty in the weather forecast almost negligible. © Published under licence by IOP Publishing Ltd.

关键词： Housing

来源：评论

学校读者我要写书评

暂无评论

Fault Identification in Mechatronic Systems 13

Fault Identification in Mechatronic Systems

引用

13th IFAC symposium on Robot control (SYROCO)

作者： Zhirabok, Alexey N. Zuev, Alexander, V Shumsky, Alexey Ye Far Eastern Fed Univ Dept Automat & Robot Vladivostok 690950 Russia Inst Marine Technol Problems Dept Intelligent Control Russia 690950 Russia Sevastopol State Univ Sevastopol 299053 Russia

ISBN: (纸本)9781713867890

the paper studies the problem of fault identification in mechatronic systems described by nonlinear models under the disturbances. To address the problem, sliding mode observers are used. the suggested approach for constructing sliding mode observer is based on the reduced order model of the initial system. this allows reducing complexity of sliding mode observer and relaxing the restrictions imposed on the initial system. the obtained results are illustrated by the example of general electric servoactuator. Copyright (c) 2022 the Authors. this is an open access article under the CC BY-NC-ND license (https://***/licenses/by-nc-nd/4.0/)

关键词： Nonlinear models fault identification reduced order models sliding mode observers

来源：评论

学校读者我要写书评

暂无评论

Proactive Look-Ahead control of Transaction Flows for High-throughput Payment Channel Network 13

Proactive Look-Ahead Control of Transaction Flows for High-T...

引用

13th Annual acm symposium on Cloud Computing (SoCC)

作者： Chen, Wuhui Qiu, Xiaoyu Hong, Zicong Zheng, Zibin Dai, Hong-Ning Zhang, Jianting Sun Yat Sen Univ Guangzhou Peoples R China Hong Kong Polytech Univ Hong Kong Peoples R China Hong Kong Baptist Univ Hong Kong Peoples R China Purdue Univ W Lafayette IN 47907 USA

ISBN: (纸本)9781450394147

Blockchain technology has gained popularity owing to the success of cryptocurrencies such as Bitcoin and Ethereum. Nonetheless, the scalability challenge largely limits its applications in many real-world scenarios. Off-chain payment channel networks (PCNs) have recently emerged as a promising solution by conducting payments through off-chain channels. However, the throughput of current PCNs does not yet meet the growing demands of large-scale systems because: 1) most PCN systems only focus on maximizing the instantaneous throughput while failing to consider network dynamics in a long-term perspective;2) transactions are reactively routed in PCNs, in which intermediate nodes only passively forward every incoming transaction. these limitations of existing PCNs inevitably lead to channel imbalance and the failure of routing subsequent transactions. To address these challenges, we propose a novel proactive look-ahead algorithm (PLAC) that controls transaction flows from a long-term perspective and proactively prevents channel imbalance. In particular, we first conduct a measurement study on two real-world PCNs to explore their characteristics in terms of transaction distribution and topology. On that basis, we propose PLAC based on deep reinforcement learning (DRL), which directly learns the system dynamics from historical interactions of PCNs and aims at maximizing the long-term throughput. Furthermore, we develop a novel graph convolutional network-based model for PLAC, which extracts the inter-dependency between PCN nodes to consequently boost the performance. Extensive evaluations on real-world datasets show that PLAC improves state-of-the-art PCN routing schemes w.r.t the long-term throughput from 6.6% to 34.9%.

关键词： Deep reinforcement learning graph neural network blockchain payment channel network transaction flow scheduling

来源：评论

学校读者我要写书评

暂无评论

Towards Activity-Centric access control for Smart Collaborative Ecosystems 21

Towards Activity-Centric Access Control for Smart Collaborat...

引用

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

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

ISBN: (纸本)9781450383653

the ubiquitous presence of smart devices along with advancements in connectivity coupled with the elastic capabilities of cloud and edge systems have nurtured and revolutionized smart ecosystems. Intelligent, integrated cyber-physical systems offer increased productivity, safety, efficiency, speed and support for data driven applications beyond imagination just a decade ago. Since several connected devices work together as a coordinated unit to ensure efficiency and automation, the individual operations they perform are often reliant on each other. therefore, it is important to control what functions or activities different devices can perform at a particular moment of time, and how they are related to each other. It is also important to consider additional factors such as conditions, obligation or mutability of activities, which are critical in deciding whether or not a device can perform a requested activity. In this paper, we take an initial step to propose and discuss the concept of Activity-Centric access control (ACAC) for smart and connected ecosystem. We discuss the notion of activity with respect to the collaborative and distributed yet integrated systems and identify the different entities involved along with the important factors to make an activity control decision. We outline a preliminary approach for defining activity control expressions which can be applied to different smart objects in the system. the main goal of this paper is to present the vision and need for the activity-centric approach for access control in connected smart systems, and foster discussion on the identified future research agenda.

关键词： Smart Connected Ecosystems Security and Privacy Activity-Centric access control IoT Collaborative Systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共49页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：