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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

579 篇 会议
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

454 篇 工学
- 439 篇 计算机科学与技术...
- 151 篇 软件工程
- 113 篇 信息与通信工程
- 28 篇 网络空间安全
- 27 篇 电气工程
- 14 篇 控制科学与工程
- 10 篇 安全科学与工程
- 5 篇 建筑学
- 4 篇 机械工程
- 4 篇 生物工程
- 3 篇 仪器科学与技术
- 3 篇 动力工程及工程热...
- 3 篇 电子科学与技术（可...
- 3 篇 交通运输工程
- 3 篇 生物医学工程（可授...
- 2 篇 土木工程
117 篇 理学
- 107 篇 数学
- 9 篇 统计学（可授理学、...
- 5 篇 生物学
- 5 篇 系统科学
- 4 篇 物理学
39 篇 管理学
- 21 篇 管理科学与工程(可...
- 21 篇 图书情报与档案管...
- 10 篇 工商管理
8 篇 法学
- 7 篇 社会学
- 1 篇 法学
4 篇 经济学
- 4 篇 应用经济学
3 篇 医学
- 3 篇 基础医学(可授医学...
- 3 篇 临床医学
- 2 篇 公共卫生与预防医...
1 篇 教育学
1 篇 军事学

主题

61 篇 privacy
46 篇 security
28 篇 data privacy
22 篇 machine learning
21 篇 access control
21 篇 differential pri...
14 篇 sensitive data
11 篇 iot
11 篇 android
11 篇 blockchain
11 篇 mobile security
10 篇 internet of thin...
10 篇 deep learning
9 篇 static analysis
9 篇 cryptography
8 篇 federated learni...
7 篇 homomorphic encr...
7 篇 data mining
7 篇 web security
7 篇 network security

机构

8 篇 purdue univ w la...
6 篇 north carolina s...
6 篇 rhein westfal th...
6 篇 carnegie mellon ...
5 篇 univ texas dalla...
4 篇 stevens inst tec...
4 篇 fraunhofer aisec...
4 篇 purdue universit...
4 篇 carnegie mellon ...
4 篇 concordia univ m...
3 篇 singapore inst t...
3 篇 ericsson secur r...
3 篇 purdue universit...
3 篇 ecole polytech f...
3 篇 umass boston bos...
3 篇 univ illinois ur...
3 篇 tech univ darmst...
3 篇 king's college l...
3 篇 university of pi...
3 篇 university of te...

作者

13 篇 bertino elisa
11 篇 sandhu ravi
7 篇 enck william
6 篇 ghinita gabriel
6 篇 meyer ulrike
6 篇 kantarcioglu mur...
5 篇 gupta maanak
5 篇 wang lingyu
4 篇 lee adam j.
4 篇 conti mauro
4 篇 murat kantarciog...
4 篇 elisa bertino
4 篇 liu fang
4 篇 mittal sudip
4 篇 gabriel ghinita
4 篇 gunter carl a.
4 篇 pourzandi makan
4 篇 pretschner alexa...
4 篇 wetzel susanne
4 篇 majumdar suryadi...

语言

574 篇 英文
4 篇 其他
2 篇 中文

检索条件"任意字段=Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy"

共 580 条记录，以下是251-260 订阅

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

详细简洁

排序：

Ramparts: A Programmer-Friendly System for Building Homomorphic Encryption applications 7

Ramparts: A Programmer-Friendly System for Building Homomorp...

引用

7th acm Workshop on Encrypted Computing and Applied Homomorphic Cryptography (WAHC)

作者： Archer, David W. Trilla, Jose Manuel Calderon Dagit, Jason Malozemoff, Alex J. Polyakov, Yuriy Rohloff, Kurt Ryan, Gerard Galois Inc Portland OR 97204 USA New Jersey Inst Technol Newark NJ 07102 USA

ISBN: (纸本)9781450368292

Homomorphic Encryption (HE) is an emerging technology that enables computing on data while the data is encrypted. A major challenge with homomorphic encryption is that it takes extensive expert knowledge to design meaningful and useful programs that are constructed from atomic HE operations. We present Ramparts to address this challenge. Ramparts provides an environment for developing HE applications in Julia, a high-level language, the same way as "cleartext" applications are typically written in Julia. Ramparts makes the following three contributions. First, we use symbolic execution to automate the construction of an optimized computation circuit where both the circuit size and multiplicative depth are chosen by the compiler. Second, Ramparts automatically selects the HE parameters for the generated circuit, which is typically done manually by an HE expert. Third, Ramparts automatically selects the plaintext encoding for input values, and performs input and output data transformations. These three operations are not easily performed by programmers who are not HE experts. Thus, Ramparts makes HE more widely available and usable by the the population of programmers. We compare our approach with Cingulata, the only previously known system that automatically generates circuits for HE computations. The HE circuits generated by Ramparts are significantly more efficient than the circuits compiled by Cingulata. For instance, our runtimes for key generation/circuit compilation and all online operations are more than one order of magnitude lower for a sample image processing application used for performance evaluation in our study.

关键词： Homomorphic encryption Automatic arithmetic circuit generation Lattice-based cryptography Usable security and privacy

来源：评论

学校读者我要写书评

暂无评论

An Empirical Study of Differentially-Private Analytics for High-Speed Network data 18

An Empirical Study of Differentially-Private Analytics for H...

引用

8th acm conference on data and application security and privacy (CODASPY)

作者： Niculaescu, Oana-Georgiana Ghinita, Gabriel UMass Boston Boston MA 02125 USA

来源：评论

学校读者我要写书评

暂无评论

CODASPY 2017 - proceedings of the 7th acm conference on data and application security and privacy

CODASPY 2017 - Proceedings of the 7th ACM Conference on Data...

引用

7th acm conference on data and application security and privacy, CODASPY 2017

ISBN: (纸本)9781450345231

The proceedings contain 41 papers. The topics discussed include: Ghostbuster: a fine-grained approach for anomaly detection in file system accesses;mining attributed graphs for threat intelligence;statistical security incident forensics against data falsification in smart grid advanced metering infrastructure;canonical completeness in lattice-based languages for attribute-based access control;SAMPAC: socially-aware collaborative multi-party access control;achieving differential privacy in secure multiparty data aggregation protocols on star networks;sound and static analysis of session fixation vulnerabilities in PHP web applications;a new bloom filter structure for searchable encryption schemes;seamless and secure Bluetooth LE connection migration;differentially-private big data analytics for high-speed research network traffic measurement;comprehensive method for detecting phishing emails using correlation-based analysis and user participation;PT-CFI: transparent backward-edge control flow violation detection using Intel processor trace;fault attacks on encrypted general purpose compute platforms;analysis of exception-based control transfers;detecting ROP with statistical learning of program characteristics;and large-scale identification of malicious singleton files.

关键词：

来源：评论

学校读者我要写书评

暂无评论

privacy-aware data Assessment of Online Social Network Registration Processes 18

Privacy-aware Data Assessment of Online Social Network Regis...

引用

8th acm conference on data and application security and privacy (CODASPY)

作者： Schuppler, Christine Leitner, Maria Rinderle-Ma, Stefanie AIT Austrian Inst Technol Ctr Digital Safety & Secur Vienna Austria Univ Vienna Fac Comp Sci Vienna Austria

ISBN: (纸本)9781450356329

privacy and security research has been very active concerning online social networks (OSN) as a vast amount of personal information is used and published (by users) within OSNs. However, most people do not pay attention on what personal information they provide during registration. Depending on what information is provided in (public) OSN profiles, that data might be misused by attackers e.g., for cross-site profile cloning. This paper assesses data provided by the user during the registration of OSNs. Therefore, it is investigated how OSN registration processes are typically modeled, which information is needed to create a profile in OSNs and which attack scenarios can occur based on the provided data. The results contribute to the understanding of OSN registration process design as well as requested data and to replicate and reuse processes for further privacy and security investigations.

关键词： privacy online social networks data assessment business process

来源：评论

学校读者我要写书评

暂无评论

Capacity: an Abstract Model of Control over Personal data 18

<i>Capacity</i>: an Abstract Model of Control over Personal ...

引用

8th acm conference on data and application security and privacy (CODASPY)

作者： Le Metayer, Daniel Rauzy, Pablo Univ Lyon INRIA Lyon France Univ Paris 08 LIASD St Denis France INRIA Le Chesnay France

ISBN: (纸本)9781450356329

While the control of individuals over their personal data is increasingly seen as an essential component of their privacy, the word "control" is usually used in a very vague way, both by lawyers and by computer scientists. This lack of precision may lead to misunderstandings and makes it difficult to check compliance. To address this issue, we propose a formal framework based on capacities to specify the notion of control over personal data and to reason about control properties. We illustrate our framework with social network systems and show that it makes it possible to characterize the types of control over personal data that they provide to their users and to compare them in a rigorous way.

关键词： privacy control formal model

来源：评论

学校读者我要写书评

暂无评论

privacy-Preserving Certification of Sustainability Metrics 18

Privacy-Preserving Certification of Sustainability Metrics

引用

8th acm conference on data and application security and privacy (CODASPY)

作者： Sahin, Cetin Kuczenski, Brandon Egecioglu, Omer El Abbadi, Amr Univ Calif Santa Barbara Santa Barbara CA 93106 USA

ISBN: (纸本)9781450356329

Companies are often motivated to evaluate their environmental sustainability, and to make public pronouncements about their performance with respect to quantitative sustainability metrics. Public trust in these declarations is enhanced if the claims are certified by a recognized authority. Because accurate evaluations of environmental impacts require detailed information about industrial processes throughout a supply chain, protecting the privacy of input data in sustainability assessment is of paramount importance. We introduce a new paradigm, called privacy-preserving certification, that enables the computation of sustainability indicators in a privacy-preserving manner, allowing firms to be classified based on their individual performance without revealing sensitive information to the certifier, other parties, or the public. In this work, we describe different variants of the certification problem, highlight the necessary security requirements, and propose a provably-secure novel framework that performs the certification operations under the management of an authorized, yet untrusted, party without compromising confidential information.

关键词： sustainability privacy-preserving lca life cycle assessment

来源：评论

学校读者我要写书评

暂无评论

A Low Energy Profile: Analysing Characteristic security on BLE Peripherals 18

A Low Energy Profile: Analysing Characteristic Security on B...

引用

8th acm conference on data and application security and privacy (CODASPY)

作者： Sivakumaran, Pallavi Alis, Jorge Blasco Royal Holloway Univ London Ctr Doctoral Training Cyber Secur London England Royal Holloway Univ London Informat Secur Grp London England

ISBN: (纸本)9781450356329

Bluetooth Low Energy is a ubiquitous technology, with applications in the fitness, healthcare and smart home sectors, to name but a few. In this paper, we present an open-source Profiler for classifying the protection level of data residing on a BLE device. Preliminary results obtained by executing the tool against several devices show that some BLE devices allow unauthenticated reads and writes from third party devices. This could expose them to a number of attacks and compromise the privacy, or even the physical safety, of the device owner.

关键词： Bluetooth Low Energy attribute security pairing JustWorks Passkey

来源：评论

学校读者我要写书评

暂无评论

Misusing Sensory Channel to Attack Industrial Control Systems 18

Misusing Sensory Channel to Attack Industrial Control System...

引用

8th acm conference on data and application security and privacy (CODASPY)

作者： Rasapour, Farhad Mehrpouyan, Hoda Boise State Univ Dept Comp Sci Coll Engn Boise ID 83725 USA

ISBN: (纸本)9781450356329

Industrial control systems (ICS) are used to control and manage critical infrastructures and protecting these complex system and their interfaces, which can be exploited by internal and external attackers, are a vital security task. Sensors, as an interface device, are used by ICS to collect information about the physical environment and should be guarded against cyber attacks. This paper investigates how sensors can be used as a communication channel by hackers to send a malicious command and control into the ICS. Further, we examine how abusing sensory channel would lead to a data pattern, which can be detected by a proper signature-based intrusion detection system (IDS).

关键词： Industrial Control System Cyber-security Sensory Channel Misuse

来源：评论

学校读者我要写书评

暂无评论

Model Checking of security Properties in Industrial Control Systems (ICS) 18

Model Checking of Security Properties in Industrial Control ...

引用

8th acm conference on data and application security and privacy (CODASPY)

作者： Shrestha, Roshan Mehrpouyan, Hoda Xu, Dianxiang Boise State Univ Dept Comp Sci Boise ID 83725 USA

ISBN: (纸本)9781450356329

With the increasing inter-connection of operation technology to the IT network, the security threat to the Industrial Control System (ICS) is increasing daily. Therefore, it is critical to utilize formal verification technique such as model checking to mathematically prove the correctness of security and safety requirements in the controller logic before it is deployed on the field. However, model checking requires considerable effort for regular ICS users and control technician to verify properties. This paper, provides a simpler approach to the model checking of temperature process control system by first starting with the control module design without formal verification. Second, identifying possible vulnerabilities in such design. Third, verifying the safety and security properties with a formal method.

关键词： security properties model checking industrial control systems (ics)

来源：评论

学校读者我要写书评

暂无评论

Expiring Decisions for Stream-based data Access in a Declarative privacy Policy Framework 2

Expiring Decisions for Stream-based Data Access in a Declara...

引用

2nd International Workshop on Multimedia privacy and security (MPS)

作者： Martiny, Karsten Denker, Grit SRI Int 333 Ravenswood Ave Menlo Pk CA 94025 USA

ISBN: (纸本)9781450359887

This paper describes how a privacy policy framework can be extended with timing information to not only decide if requests for data are allowed at a given point in time, but also to decide for how long such permission is granted. Augmenting policy decisions with expiration information eliminates the need to reason about access permissions prior to every individual data access operation. This facilitates the application of privacy policy frameworks to protect multimedia streaming data where repeated re-computations of policy decisions are not a viable option. We show how timing information can be integrated into an existing declarative privacy policy framework. In particular, we discuss how to obtain valid expiration information in the presence of complex sets of policies with potentially interacting policies and varying timing information.

关键词： data privacy

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共58页 << < 22 23 24 25 26 27 28 29 30 31 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：