logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
D

David Basin

swiss federal institutes of technology domain

50H指数
502论文数
1.3W被引数
收录论文 15
发表时间
logo
Instrumenting Runtime Enforcement运行时强制工具化
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err0
PREAI
errHublet, Francois; Basin, David; Hu, Linda; Krstic, Srdan; Reese, Lennard
err分享
err收藏
VerIso: Verifiable Isolation Guarantees for Database TransactionsVerIso：数据库事务的可验证隔离保障
errProceedings of the VLDB Endowment
IF3.3
err2025-01-01
err0
PREAI
errShabnam Ghasemirad; Si Liu; Christoph Sprenger; Luca Multazzu; David Basin
err分享
err收藏
Specifying and Verifying Information Flow Control in SELinux Configurations
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2024-10-07
err0
errOAAI
errCeragioli, Lorenzo; Galletta, Letterio; Degano, Pierpaolo; Basin, David
err分享
err收藏
Design, Analysis, and Implementation of ARPKI An Attack-Resilient Public-Key Infrastructure
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2018-05-01
err38
errOAAI
errBasin, David; Cremers, Cas; Kim, Tiffany Hyun-Jin; Perrig, Adrian; Sasse, Ralf; Szalachowski, Pawel
err分享
err收藏
A Model-Driven Methodology for Developing Secure Data-Management Applications
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2014-04-01
err16
PREAI
errBasin, David; Clavel, Manuel; Egea, Marina; Garcia de Dios, Miguel A.; Dania, Carolina
err分享
err收藏
Monitoring Data Usage in Distributed Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-10-01
err21
PREAI
errBasin, David; Harvan, Matus; Klaedtke, Felix; Zalinescu, Eugen
err分享
err收藏
Predictable Mobile Routing for Spacecraft Networks
errIEEE TRANSACTIONS ON MOBILE COMPUTING
IF9.2
err2013-06-01
err47
errOAAI
errFischer, Daniel; Basin, David; Eckstein, Knut; Engel, Thomas
err分享
err收藏
The Research Value of Publishing Attacks
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-11-01
err6
PREAI
errBasin, David; Capkun, Srdjan
err分享
err收藏
Automated analysis of security-design models
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2009-05-01
err83
errOAAI
errBasin, David; Clavel, Manuel; Doser, Juergen; Egea, Marina
err分享
err收藏
Two Approaches to an Information Security Laboratory
errCOMMUNICATIONS OF THE ACM
IF12.2
err2008-12-01
err2
PREAI
errNaef, Michael; Basin, David
err分享
err收藏
SSL/TLS session-aware user authentication revisited
errCOMPUTERS & SECURITY
IF5.4
err2008-05-01
err13
errOAAI
errOppliger, Rolf; Hauser, Ralf; Basin, David
err分享
err收藏
Secure neighborhood discovery: A fundamental element for mobile ad hoc networking
errIEEE COMMUNICATIONS MAGAZINE
IF8.2
err2008-02-01
err38
errOAAI
errPapadimitratos, Panos; Poturalski, Marcin; Schaller, Patrick; Lafourcade, Pascal; Basin, David; Capkun, Srdjan; Hubaux, Jean-Pierre
err分享
err收藏
Distributed usage control
errCOMMUNICATIONS OF THE ACM
IF12.2
err2006-09-01
err124
PREAI
errPretschner, Alexander; Hilty, Manuel; Basin, David
err分享
err收藏
Model Driven Security: From UML models to access control infrastructures
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2006-01-01
err271
PREAI
errBasin, D; Doser, J; Lodderstedt, T
err分享
err收藏
Search in games with incomplete information: a case study using Bridge card play
errartificial intelligence review
IF4.6
err1998-04-01
err70
PREAI
errFrank, I; Basin, D
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
A
Adrian Perrig
H 指数: 88 · 论文数: 548
J
Jean‐Pierre Hubaux
H 指数: 86 · 论文数: 470
S
Srđjan Čapkun
H 指数: 65 · 论文数: 305
P
Panos Papadimitratos
H 指数: 49 · 论文数: 298
A
Alexander Pretschner
H 指数: 42 · 论文数: 346
查看更多