消息
×
loading..
×
验证码:
换一张
忘记密码？
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
在结果中检索
研究单元&专题
信息科学与技术学院 [5]
作者
谭惠予 [2]
陈宇奇 [2]
杨智策 [1]
严悦励 [1]
杨菥 [1]
文献类型
期刊论文 [3]
会议论文 [2]
发表日期
2025 [2]
2024 [2]
2023 [1]
出处
COMPUTER N... [1]
FORMAL MET... [1]
IACR TRANS... [1]
IEEE INTER... [1]
PROCEEDING... [1]
语种
英语 [5]
资助项目
CAS Projec... [1]
Distinguis... [1]
Fundamenta... [1]
ISCAS Fund... [1]
ISCAS New ... [1]
National N... [1]
更多...
资助机构
收录类别
EI [5]
CPCI-S [2]
SCI [1]
×
知识图谱
KMS
反馈留言
浏览/检索结果:
共5条，第1-5条
帮助
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
发表日期升序
发表日期降序
WOS被引频次升序
WOS被引频次降序
题名升序
题名降序
提交时间升序
提交时间降序
期刊影响因子升序
期刊影响因子降序
作者升序
作者降序
SFACIF: A safety function attack and anomaly industrial condition identified framework
期刊论文
COMPUTER NETWORKS, 2025, 卷号: 257
作者:
Liu, Kaixiang
;
Xie, Yongfang
;
Chen, Yuqi
;
Xie, Shiwen
;
Chen, Xin
Adobe PDF(2049Kb)
|
收藏
|
浏览/下载：208/3
|
提交时间：2024/12/13
Cyber attacks
Network security
Anomaly detection
Basic process control systems
Benchmark data
Industrial conditions
Physical faults
Process industries
Safety and stabilities
Safety function attack
Safety functions
Safety instrumented systems
Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks
会议论文
FORMAL METHODS, PT II, FM 2024, null,Milan,ITALY, SEP 09-13, 2024
作者:
Tan, Huiyu
;
Yang, Xi
;
Song, Fu
;
Chen, Taolue
;
Wu, Zhilin
Adobe PDF(595Kb)
|
收藏
|
浏览/下载：338/1
|
提交时间：2024/10/11
Benchmarking
Boolean functions
Open source software
Compositional verification
Cryptographic algorithms
CryptoGraphics
Design and implementations
Error prones
Fault injection attacks
Hardware implementations
Open source tools
Physical attacks
Sub-circuits
SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits∗
期刊论文
IACR TRANSACTIONS ON CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS, 2024, 卷号: 2024, 期号: 4, 页码: 1-39
作者:
Tan, Huiyu
;
Gao, Pengfei
;
Song, Fu
;
Chen, Taolue
;
Wu, Zhilin
Adobe PDF(1591Kb)
|
收藏
|
浏览/下载：195/1
|
提交时间：2024/10/11
Benchmarking
Network security
Open source software
Systems analysis
Cryptographic circuit
CryptoGraphics
Design and implementations
Error prones
Fault injection
Fault injection attacks
Fault resistances
Physical attacks
Satisfiability
Verification problems
Detecting Cyber-Attacks Against Cyber-Physical Manufacturing System: A Machining Process Invariant Approach
期刊论文
IEEE INTERNET OF THINGS JOURNAL, 2024, 卷号: PP, 期号: 99, 页码: 1-1
作者:
Li, Zedong
;
Chen, Xin
;
Chen, Yuqi
;
Li, Shijie
;
Wang, Hangyu
Adobe PDF(4650Kb)
|
收藏
|
浏览/下载：1335/1
|
提交时间：2024/02/23
Industrial Internet of Things
Cyber-Physical Manufacturing Systems
Computer Numerical Control
Intrusion Detection
Cyber Attack
Codes (symbols)
Computer control systems
Computer crime
Crime
Cyber attacks
Internet of things
Machining centers
Network security
Numerical control systems
Process control
Code
Computer numerical control
Cybe-physical manufacturing system
Cyber physicals
Cyber-attacks
Industrial internet of thing
Intrusion-Detection
Numerical control
Spoofing Real-world Face Authentication Systems through Optical Synthesis
会议论文
PROCEEDINGS - IEEE SYMPOSIUM ON SECURITY AND PRIVACY, Hybrid, San Francisco, CA, United states, May 22, 2023 - May 25, 2023
作者:
Yueli Yan
;
Zhice Yang
Adobe PDF(2840Kb)
|
收藏
|
浏览/下载：371/0
|
提交时间：2023/08/18
Authentication
Display devices
Security systems
Authorized users
Camera view
Face authentication system
Multi-modal
Multiple modalities
Optical-
Physical aspects
Real-world
Scene generator
Spoofing attacks
首页
上一页
1
下一页
末页
