首页>外文期刊>计算机、自动化>计算技术、计算机技术>Journal of computer security

Journal of computer security

Journal of computer security

EI

中文名称：计算机安全杂志

ISSN：0926-227X
出版周期：Quarterly

发文量：450

期刊论文

年度选择

2023
- 第1期
2022
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2021
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
2020
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2019
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2018
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2017
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
2016
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2015
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2014
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2013
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2012
- 第1期
- 第3期
- 第4期
- 第5期
- 第6期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2010
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
2009
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2008
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2007
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
2006
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
2005
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2004
- 第1期
- 第2期
- 第4期
- 第5期
- 第6期
2003
- 第1期
- 第2期
- 第3期
- 第4期
2001
- 第1期
- 第2期
- 第3期
- 第4期
2000
- 第1期
- 第2期
- 第3期
- 第4期

更多>>

全选（0）

1.Authentication and payment if future mobile systems

机译：认证和付款（如果将来的移动系统）
- 作者：Gunther Horn;Bart Preneel
- 期刊名称：《Journal of computer security》 | 2000年第2期
- Authentication;
- public-key protocols;
- mobile systems;
2.Side channel cryptanalysis of product ciphers

机译：产品密码的旁通道密码分析
- 作者：John Kelsey;Bruce Schneier;David Wagner
- 期刊名称：《Journal of computer security》 | 2000年第2期
- Side channels;
- cryptanalysis;
- timing attacks;
3.A petric net based safety analysis of workflow authorization models

机译：基于Petri网的工作流授权模型安全性分析
- 作者：Vijayalakshmi Atluri;Wei-Kuang Huang
- 期刊名称：《Journal of computer security》 | 2000年第2期
4.A logic-based approach for enforcing access control

机译：基于逻辑的访问控制方法
- 作者：Elisa Bertino;Francesco Buccafurri;Elena Ferraii
- 期刊名称：《Journal of computer security》 | 2000年第2期
5.Using sample size to limit exposure to data mining

机译：使用样本量来限制数据挖掘的风险
- 作者：Chris Clifton
- 期刊名称：《Journal of computer security》 | 2000年第4期
6.Temporal authorization bases: From specification to integration

机译：临时授权基础：从规范到集成
- 作者：Elisa Bertino;Piero Andrea Bonatti;Elena Ferrari
- 期刊名称：《Journal of computer security》 | 2000年第4期
7.Intrusion confinement by isolation in information systems

机译：通过隔离信息系统来限制入侵
- 作者：Peng Liu;Sushil Jajodia;Catherine D. McCollum
- 期刊名称：《Journal of computer security》 | 2000年第4期
8.Cryptographic enforcement of information flow policies without public information via tree partitions

机译：通过树分区对没有公共信息的信息流策略进行密码执行
- 作者：Royal Holloway University of London UK;Royal Holloway University of London UK;Royal Holloway University of London UK;Royal Holloway University of London UK;Ruhr University Bochum Germany
- 期刊名称：《Journal of computer security》 | 2017年第6期
9.An interpolation-based method for the verification of security protocols

机译：基于插值的安全协议验证方法
- 作者：ALES United Technologies Research Center Italy. E-mail:u00a0marco.rocchetto@utrc.utc.com;Department of Informatics Kingu2019s College London UK. E-mail:u00a0luca.vigano@kcl.ac.uk;INRIA and LIX u00c9cole Polytechnique France. E-mail:u00a0marco.volpe@inria.fr
- 期刊名称：《Journal of computer security》 | 2017年第6期
10.Remote data integrity checking with server-side repair

机译：服务器端修复的远程数据完整性检查
- 作者：Bo chen;Reza Curtmola
- 期刊名称：《Journal of computer security》 | 2017年第6期
11.Privacy-preserving verifiable elastic net among multiple institutions in the cloud

机译：云中多个机构之间的可保护隐私的可验证弹性网
- 作者：Zhang Jun;He Meiqi;Zeng Gongxian;Yiu Siu-Ming
- 期刊名称：《Journal of computer security》 | 2018年第6期
- Privacy-preserving elastic net;
- support vector machine;
- verifiable computation;
- multiple encryption keys;
12.Towards designing robust CAPTCHAs

机译：致力于设计强大的验证码
- 作者：Lorenzi David;Uzun Emre;Vaidya Jaideep;Sural Shamik;Atluri Vijayalakshmi
- 期刊名称：《Journal of computer security》 | 2018年第6期
- CAPTCHA;
- user study;
- design requirements;
- web security;
- authentication;
13.Surviving unpatchable vulnerabilities through heterogeneous network hardening options

机译：通过异构网络强化选项解决无法修补的漏洞
- 作者：Borbor Daniel;Wang Lingyu;Jajodia Sushil;Singhal Anoop
- 期刊名称：《Journal of computer security》 | 2018年第6期
- Network hardening;
- heterogeneous hardening;
- unpatchable vulnerabilities;
- security metrics;
- diversity;
14.Systematic parsing of X.509: Eradicating security issues with a parse tree

机译：X.509的系统分析：使用分析树消除安全问题
- 作者：Barenghi Alessandro;Mainardi Nicholas;Pelosi Gerardo
- 期刊名称：《Journal of computer security》 | 2018年第6期
- Digital certificates;
- X.509;
- transport layer security;
- TLS;
- parsing;
- security vulnerabilities;
15.Identifying stealth malware using CPU power consumption and learning algorithms

机译：使用CPU功耗和学习算法识别隐形恶意软件
- 作者：Patrick Luckett;J. Todd McDonald;William B. Glisson;Ryan Benton;Joel Dawson;Blair A. Doyle
- 期刊名称：《Journal of computer security》 | 2018年第5期
- Rootkit;
- anomaly detection;
- machine learning;
16.Hybrid adversarial defense: Merging honeypots and traditional security methods1

机译：混合对抗防御：合并蜜罐和传统安全方法1
- 作者：Tanmoy Chakraborty;Sushil Jajodia;Noseong Park;Andrea Pugliese;Edoardo Serra;V.S. Subrahmanian
- 期刊名称：《Journal of computer security》 | 2018年第5期
- Adversarial defense of enterprise systems;
- game theoretic models;
17.k-Skyband query answering with differential privacy1

机译：具有差异性隐私的k-Skyband查询应答1
- 作者：Ling Chen;Ting Yu;Rada Chirkova
- 期刊名称：《Journal of computer security》 | 2018年第5期
- k-Skyband query;
- differential privacy;
- adaptive spatial decomposition;
18.HardlDX: Practical and secure index with SGX in a malicious environment

机译：HardlDX：SGX在恶意环境中的实用且安全的索引
- 作者：Benny Fuhry;Raad Bahmani;Ferdinand Brasser;Florian Hahn;Florian Kerschbaum;Ahmad-Reza Sadeghi
- 期刊名称：《Journal of computer security》 | 2018年第5期
- Secure index;
- secure search;
- Intel SGX;
19.Risk-aware multi-objective optimized virtual machine placement in the cloud

机译：感知风险的多目标优化虚拟机在云中的位置
- 作者：Jin Han;Wangyu Zang;Li Liu;Songqing Chen;Meng Yu
- 期刊名称：《Journal of computer security》 | 2018年第5期
- Cloud security;
- multiple objective;
- virtual machine placement;
- risk metrics model;
- VM allocation strategy;
20.Invalid certificates in modern browsers: A socio-technical analysis

机译：现代浏览器中的无效证书：社会技术分析
- 作者：Rosario Giustolisi;Giampaolo Bella;Gabriele Lenzini
- 期刊名称：《Journal of computer security》 | 2018年第4期
- Socio-tech, human-centred security, CHI, HCI, ceremony, formal methods, sociological study, model checking;
21.Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies

机译：具有角色层次结构的行政时空RBAC策略的自动化和高效分析
- 作者：Silvio Ranise;Anh Truong;Luca Vigano
- 期刊名称：《Journal of computer security》 | 2018年第4期
- Safety analysis, administrative temporal RBAC, static role hierarchies, access control scheme, security mapping;
22.The impact of application context on privacy and performance of keystroke authentication systems

机译：应用程序上下文对按键身份验证系统的隐私和性能的影响
- 作者：Kiran S. Balagani;Paolo Gasti;Aaron Elliott;Azriel Richardson;Mike ONeal
- 期刊名称：《Journal of computer security》 | 2018年第4期
- Biometrics, keystroke authentication, privacy, privacy-preserving protocols, application context;
23.Assuring BetterTimes

机译：确保更好的时间
- 作者：Per Hallgren;Ravi Kishore;Martin Ochoa;Andrei Sabelfeld
- 期刊名称：《Journal of computer security》 | 2018年第4期
- Location privacy, privacy-enhancing technologies, secure multi-party computation;
24.Abstractions for security protocol verification

机译：安全协议验证的抽象
- 作者：Binh Thanh Nguyen;Christoph Sprenger;Cas Cremers
- 期刊名称：《Journal of computer security》 | 2018年第4期
- Security protocols, formal verification, abstraction technique;
25.Low-deterministic security for low-nondeterministic programs

机译：低不确定性程序的低确定性安全性
- 作者：Bischof Simon;Breitner Joachim;Graf Jürgen;Hecker Martin;Mohr Martin;Snelting Gregor
- 期刊名称：《Journal of computer security》 | 2018年第3期
- Software security;
- information flow control;
- probabilistic noninterference;
- program analysis;
26.Automated reasoning for equivalences in the applied pi calculus with barriers

机译：带有障碍的pi演算中的等价自动推理
- 作者：Blanchet Bruno;Smyth Ben
- 期刊名称：《Journal of computer security》 | 2018年第3期
- Applied pi calculus;
- automated reasoning;
- ballot secrecy;
- barrier synchronisation;
- equivalence;
- e-voting;
- privacy;
- receipt-freeness;
27.Short voice imitation man-in-the-middle attacks on Crypto Phones: Defeating humans and machines

机译：加密电话上的短语音模仿中间人攻击：击败人与机器
- 作者：Shirvanian Maliheh;Saxena Nitesh;Mukhopadhyay Dibya
- 期刊名称：《Journal of computer security》 | 2018年第3期
- VoIP Security;
- Crypto Phone;
- End-to-End Encrypted VoIP;
- SAS protocols;
- voice morphing attack;
- voice biometrics;
28.Accessing mobile user's privacy based on IME personalization: Understanding and practical attacks

机译：基于IME个性化访问移动用户的隐私：理解和实际攻击
- 作者：Diao Wenrui;Liu Rui;Liu Xiangyu;Zhou Zhe;Li Zhou;Zhang Kehuan
- 期刊名称：《Journal of computer security》 | 2018年第3期
- Android;
- smart IME;
- privacy leakage;
- system flaw;
29.A catalogue associating security patterns and attack steps to design secure applications

机译：与安全模式和攻击步骤相关联以设计安全应用程序的目录
- 作者：Salva Sébastien;Regainia Loukmen
- 期刊名称：《Journal of computer security》 | 2019年第1期
- Attack;
- security patterns;
- classification;
- security principles;
- attack defense tree;
30.Privacy implications of room climate data

机译：室内气候数据对隐私的影响
- 作者：Armknecht Frederik;Benenson Zinaida;Morgner Philipp;Müller Christian;Riess Christian
- 期刊名称：《Journal of computer security》 | 2019年第1期
- Privacy;
- room climate;
- occupany detection;
- activity recognition;
31.Group ORAM for privacy and access control in outsourced personal records

机译：分组ORAM，用于外包个人记录中的隐私和访问控制
- 作者：Maffei Matteo;Malavolta Giulio;Reinert Manuel;Schrñder Dominique
- 期刊名称：《Journal of computer security》 | 2019年第1期
- Group ORAM;
- oblivious RAM;
- cloud storage;
- provable security;
- privacy-enhancing technologies;
32.Per-session security: Password-based cryptography revisited

机译：每个会话的安全性：重新基于密码的加密
- 作者：Demay Grégory;Gañi Peter;Maurer Ueli;Tackmann Bjñrn
- 期刊名称：《Journal of computer security》 | 2019年第1期
- Password-based encryption;
- simulation-based security;
- random oracle;
33.Verifying constant-time implementations by abstract interpretation

机译：通过抽象解释验证恒定时间实现
- 作者：Blazy Sandrine;Pichardie David;Trieu Alix
- 期刊名称：《Journal of computer security》 | 2019年第1期
- Abstract interpretation;
- constant-time programming;
- timing attacks;
- verification of C implementations;
34.Learning probabilistic dependencies among events for proactive security auditing in clouds

机译：学习事件之间的概率依赖性，以便在云中进行主动安全审核
- 作者：Majumdar Suryadipta;Tabiban Azadeh;Jarraya Yosr;Oqaily Momen;Alimohammadifar Amir;Pourzandi Makan;Wang Lingyu;Debbabi Mourad
- 期刊名称：《Journal of computer security》 | 2019年第2期
- Proactive auditing;
- security auditing;
- cloud security;
- automatic learning;
- log formatting;
- log processing;
- OpenStack;
35.Secure authentication in the grid: A formal analysis of DNP3 SAv5

机译：网格中的安全身份验证：DNP3 SAv5的形式分析
- 作者：Cremers Cas;Dehnel-Wild Martin;Milner Kevin
- 期刊名称：《Journal of computer security》 | 2019年第2期
- DNP3;
- secure authentication;
- power grids;
- network protocols;
- formal analysis;
36.Sub-session hijacking on the web: Root causes and prevention

机译：Web上的子会话劫持：根本原因和预防
- 作者：Calzavara Stefano;Rabitti Alvise;Bugliesi Michele
- 期刊名称：《Journal of computer security》 | 2019年第2期
- Web application security;
- web sessions;
- HTTP cookies;
37.DABKE: Secure deniable attribute-based key exchange framework

机译：DABKE：安全的可拒绝基于属性的密钥交换框架
- 作者：Tian Yangguang;Li Yingjiu;Yang Guomin;Susilo Willy;Mu Yi;Cui Hui;Zhang Yinghui
- 期刊名称：《Journal of computer security》 | 2019年第2期
- Attribute-based key exchange;
- impersonation attacks;
- strong deniability;
- generic compiler;
38.A method for unbounded verification of privacy-type properties

机译：一种无限制验证隐私类型属性的方法
- 作者：Hirschi Lucca;Baelde David;Delaune Stéphanie
- 期刊名称：《Journal of computer security》 | 2019年第3期
- Formal verification;
- security protocols;
- symbolic model;
- equivalence-based properties;
39.Last man standing: Static, decremental and dynamic resiliency via controller synthesis

机译：站在最后的人：通过控制器综合实现静态，递减和动态弹性
- 作者：Zavatteri Matteo;Viganò Luca
- 期刊名称：《Journal of computer security》 | 2019年第3期
40.Collusion attacks and fair time-locked deposits for fast-payment transactions in Bitcoin

机译：串通攻击和公平的时间锁定存款，用于比特币中的快速付款交易
- 作者：Yu Xingjie;Thang Michael Shiwen;Li Yingjiu;Deng Robert Huijie
- 期刊名称：《Journal of computer security》 | 2019年第3期
- Bitcoin;
- fair deposit;
- double-spending;
- collusion attacks;
- time-locked;
41.Substring search over encrypted data

机译：子串搜索加密数据
- 作者：Tarik Moataz;Indrajit Ray;Indrakshi Ray;Abdullatif Shikfa;Frederic Cuppens;Nora Cuppens
- 期刊名称：《Journal of computer security》 | 2018年第1期
- Encrypted search;
- substring search;
- wildcard search;
- orthonormalization;
42.Characterizing a property-driven obfuscation strategy

机译：表征属性驱动的混淆策略
- 作者：Mila Dalla Preda;Isabella Mastroeni
- 期刊名称：《Journal of computer security》 | 2018年第1期
- Program transformation;
- abstract interpretation;
- program semantics;
- code obfuscation;
43.Refining security protocols

机译：完善安全协议
- 作者：Christoph Sprenger;David Basin
- 期刊名称：《Journal of computer security》 | 2018年第1期
- Security protocols;
- stepwise refinement;
- correctness-by-construction;
- entity authentication;
- key establishment;
44.Mining hierarchical temporal roles with multiple metrics

机译：挖掘具有多个指标的分层时间角色
- 作者：Scott D. Stoller;Thang Bui
- 期刊名称：《Journal of computer security》 | 2018年第1期
- Role mining;
- temporal role-based access control;
45.How persuasive is a phishing email? A phishing game for phishing awareness

机译：网络钓鱼电子邮件的说服力如何？
- 作者：Fatima Rubia;Yasin Affan;Liu Lin;Wang Jianmin
- 期刊名称：《Journal of computer security》 | 2019年第6期
46.Decoupling coding habits from functionality for effective binary authorship attribution

机译：将编码习惯与功能分离，以实现有效的二进制作者身份
- 作者：Alrabaee Saed;Shirani Paria;Wang Lingyu;Debbabi Mourad;Hanna Aiman
- 期刊名称：《Journal of computer security》 | 2019年第6期
- Binary authorship attribution;
- malware analysis;
- coding habits;
- assembly instructions;
47.A multi-server oblivious dynamic searchable encryption framework

机译：多服务器遗忘的动态可搜索加密框架
- 作者：Hoang Thang;Yavuz Attila A.;Durak F. Betül;Guajardo Jorge
- 期刊名称：《Journal of computer security》 | 2019年第6期
- Searchable encryption;
- write-only ORAM;
- multi-server PIR;
- privacy-preserving clouds;
48.Using side channel TCP features for real-time detection of malware connections

机译：使用辅助通道TCP功能实时检测恶意软件连接
- 作者：Stergiopoulos George;Chronopoulou Georgia;Bitsikas Evangelos;Tsalis Nikolaos;Gritzalis Dimitris
- 期刊名称：《Journal of computer security》 | 2019年第5期
- Malware traffic;
- malware detection;
- machine learning;
- defacement;
- CART;
- botnet;
- reverse shells;
- trojan;
49.Tracking APTs in industrial ecosystems: A proof of concept

机译：跟踪工业生态系统中的APT：概念验证
- 作者：Rubio Juan E.;Roman Rodrigo;Alcaraz Cristina;Zhang Yan
- 期刊名称：《Journal of computer security》 | 2019年第5期
- Advanced Persistent Threat;
- detection;
- traceability;
- Opinion Dynamics;
- testbed;
50.Towards the optimal performance of integrating Warm and DELAY against remote cache timing side channels on block ciphers

机译：取得针对分组密码上的远程缓存定时侧通道集成Warm和DELAY的最佳性能
- 作者：Ma Ziqiang;Cai Quanwei;Lin Jingqiang;Luo Bo;Jing Jiwu
- 期刊名称：《Journal of computer security》 | 2019年第5期
- Cache side channel;
- optimal performance;
- timing side channel;
- block cipher;
- AES;
51.Verifying constant-time implementations by abstract interpretation

机译：通过抽象解释验证恒定时间实现
- 作者：Blazy Sandrine;Pichardie David;Trieu Alix
- 期刊名称：《Journal of computer security》 | 2019年第1期
- Abstract interpretation;
- constant-time programming;
- timing attacks;
- verification of C implementations;
52.Group ORAM for privacy and access control in outsourced personal records

机译：小组奥地姆用于外包个人记录中的隐私和访问控制
- 作者：Maffei Matteo;Malavolta Giulio;Reinert Manuel;Schrñder Dominique
- 期刊名称：《Journal of computer security》 | 2019年第1期
- Group ORAM;
- oblivious RAM;
- cloud storage;
- provable security;
- privacy-enhancing technologies;
53.A catalogue associating security patterns and attack steps to design secure applications

机译：目录关联安全模式和攻击步骤以设计安全应用程序
- 作者：Salva Sébastien;Regainia Loukmen
- 期刊名称：《Journal of computer security》 | 2019年第1期
- Attack;
- security patterns;
- classification;
- security principles;
- attack defense tree;
54.Per-session security: Password-based cryptography revisited

机译：每次会话安全性：重新访问基于密码的加密
- 作者：Demay Grégory;Gañi Peter;Maurer Ueli;Tackmann Bjñrn
- 期刊名称：《Journal of computer security》 | 2019年第1期
- Password-based encryption;
- simulation-based security;
- random oracle;
55.Privacy implications of room climate data

机译：房间气候数据的隐私含义
- 作者：Armknecht Frederik;Benenson Zinaida;Morgner Philipp;Müller Christian;Riess Christian
- 期刊名称：《Journal of computer security》 | 2019年第1期
- Privacy;
- room climate;
- occupany detection;
- activity recognition;
56.Deploying ABAC policies using RBAC systems

机译：使用RBAC系统部署ABAC策略
- 作者：Batra Gunjan;Atluri Vijayalakshmi;Vaidya Jaideep;Sural Shamik
- 期刊名称：《Journal of computer security》 | 2019年第4期
- ABAC;
- TRBAC;
- temporal;
- RBAC;
- time attributes;
- deploying;
- enabling;
57.PILOT: Password and PIN information leakage from obfuscated typing videos

机译：飞行员：来自混淆键入视频的密码和引脚信息泄露
- 作者：Balagani Kiran;Cardaioli Matteo;Conti Mauro;Gasti Paolo;Georgiev Martin;Gurtler Tristan;Lain Daniele;Miller Charissa;Molas Kendall;Samarin Nikita;Saraci Eugen;Tsudik Gene;Wu Lynn
- 期刊名称：《Journal of computer security》 | 2019年第4期
- Authentication;
- information leakage;
- shoulder-surfing attacks;
- PIN inference;
- password inference;
58.Mitigating the insider threat of remote administrators in clouds through maintenance task assignments

机译：通过维护任务分配缓解云中远程管理员的内幕威胁
- 作者：Alhebaishi Nawaf;Wang Lingyu;Jajodia Sushil;Singhal Anoop
- 期刊名称：《Journal of computer security》 | 2019年第4期
- Security metric;
- cloud security;
- insider attack;
- attack graph;
- service dependency graph;
59.Analyzing leakage of personal information by malware

机译：通过恶意软件分析个人信息泄露
- 作者：Urban Tobias;Tatang Dennis;Holz Thorsten;Pohlmann Norbert
- 期刊名称：《Journal of computer security》 | 2019年第4期
- Adware;
- potentially unwanted programs;
- privacy;
- online tracking;
- data leakage;
60.Verification of stateful cryptographic protocols with exclusive OR

机译：用独占或验证有状态加密协议
- 作者：Dreier Jannik;Hirschi Lucca;Radomirovic Sasa;Sasse Ralf
- 期刊名称：《Journal of computer security》 | 2020年第1期
- Formal verification;
- cryptographic protocols;
- exclusive or;
61.Overfitting, robustness, and malicious algorithms: A study of potential causes of privacy risk in machine learning

机译：过度装备，鲁棒性和恶意算法：机器学习中隐私风险潜在原因的研究
- 作者：Yeom Samuel;Giacomelli Irene;Menaged Alan;Fredrikson Matt;Jha Somesh
- 期刊名称：《Journal of computer security》 | 2020年第1期
- Privacy;
- machine learning;
- membership inference;
- attribute inference;
- overfitting;
- robustness;
62.On the semantics of communications when verifying equivalence properties

机译：在验证等价属性时的通信语义上
- 作者：Babel Kushal;Cheval Vincent;Kremer Steve
- 期刊名称：《Journal of computer security》 | 2020年第1期
- Cryptographic protocols;
- symbolic models;
- verification;
- semantics;
- equivalence properties;
63.On the expressiveness and semantics of information flow types

机译：论信息流类型的富有效力和语义
- 作者：Rajani Vineet;Garg Deepak
- 期刊名称：《Journal of computer security》 | 2020年第1期
- Information flow control;
- type systems;
- typed translation;
- logical relations;
- type system expressiveness;
64.Dependable Software Systems Engineering

机译：可靠的软件系统工程
- 期刊名称：《Journal of computer security》 | 2018年第5期
65.The Politics and Situatedness of Emerging Technologies

机译：新兴技术的政治和位于
- 期刊名称：《Journal of computer security》 | 2018年第5期
66.RIF: Reactive information flow labels

机译：RIF：反应信息流标签
- 作者：Kozyri Elisavet;Schneider Fred B.
- 期刊名称：《Journal of computer security》 | 2020年第2期
- Reclassification;
- piesewise noninterference;
- type system;
- RIF automaton;
- kappa-label;
67.Identifying parasitic malware as outliers by code clustering

机译：通过代码群集识别寄生恶意软件作为异常值
- 作者：Li Hongcheng;Huang Jianjun;Liang Bin;Shi Wenchang;Wu Yifang;Bai Shilei
- 期刊名称：《Journal of computer security》 | 2020年第2期
- Parasitic malware;
- outlier;
- code clustering;
- UEFI rootkit;
- piggybacked Android application;
68.Efficient backward private searchable encryption

机译：高效后向私人可搜索的加密
- 作者：Chatterjee Sanjit;Puria Shravan Kumar Parshuram;Shah Akash
- 期刊名称：《Journal of computer security》 | 2020年第2期
- Dynamic Searchable Symmetric Encryption;
- backward privacy;
- forward privacy;
69.Do not jail my app: Detecting the Android plugin environments by time lag contradiction

机译：不要监狱我的应用程序：通过时间滞后矛盾检测Android插件环境
- 作者：Wu Yifang;Huang Jianjun;Liang Bin;Shi Wenchang
- 期刊名称：《Journal of computer security》 | 2020年第2期
- Android;
- plugin environment;
- time lag contradiction;
- time ratio;
- Delta T attack;
70.Maybe tainted data: Theory and a case study

机译：可能是污染的数据：理论和案例研究
- 作者：Skalka Christian;Amir-Mohammadian Sepehr;Clark Samuel
- 期刊名称：《Journal of computer security》 | 2020年第3期
- Auditing;
- dynamic taint analysis;
- program rewriting;
71.Multilayer ransomware detection using grouped registry key operations, file entropy and file signature monitoring

机译：使用分组的注册表项操作，文件熵和文件签名监控多层赎金软件检测
- 作者：Jethva Brijesh;Traoré Issa;Ghaleb Asem;Ganame Karim;Ahmed Sherif
- 期刊名称：《Journal of computer security》 | 2020年第3期
- Ransomware detection;
- machine learning;
- file entropy;
- file signature;
72.A multi-party, fine-grained permission and policy enforcement framework for hybrid mobile applications

机译：混合移动应用程序的多方，细粒度许可和策略执法框架
- 作者：Phung Phu H.;Reddy Rakesh S.V.;Cap Steven;Pierce Anthony;Mohanty Abhinav;Sridhar Meera
- 期刊名称：《Journal of computer security》 | 2020年第3期
- Security;
- permission;
- privacy;
- hybrid mobile apps;
73.Towards adding verifiability to web-based Git repositories

机译：向基于Web的Git存储库添加验证性
- 作者：Afzali Hammad;Torres-Arias Santiago;Curtmola Reza;Cappos Justin
- 期刊名称：《Journal of computer security》 | 2020年第4期
- GitHub;
- commit signature;
- verification record;
- signed commit;
- browser extension;
74.Synthesizing DNA molecules with identity-based digital signatures to prevent malicious tampering and enabling source attribution

机译：用基于身份的数字签名合成DNA分子，以防止恶意篡改和实现源归因
- 作者：Kar Diptendu Mohan;Ray Indrajit;Gallegos Jenna;Peccoud Jean;Ray Indrakshi
- 期刊名称：《Journal of computer security》 | 2020年第4期
- Cyber-bio security;
- identity-based signatures;
- Reed-Solomon codes;
- pairing-based cryptography;
- synthetic DNA;
75.A new framework for privacy-preserving biometric-based remote user authentication

机译：保留基于生物识别的远程用户身份验证的新框架
- 作者：Tian Yangguang;Li Yingjiu;Deng Robert H.;Li Nan;Wu Pengfei;Liu Anyi
- 期刊名称：《Journal of computer security》 | 2020年第4期
- Remote user authentication;
- oblivious RAM;
- computational fuzzy extractors;
- strong privacy;
- constant bandwidth;
76.Time, computational complexity, and probability in the analysis of distance-bounding protocols

机译：距离限定协议分析中的时间，计算复杂性和概率
- 作者：Kanovich Max;Kirigin Tajana Ban;Nigam Vivek;Scedrov Andre;Talcott Carolyn
- 期刊名称：《Journal of computer security》 | 2017年第6期
- Multiset Rewrite Systems;
- Cyber-Physical Security Protocols;
- protocol security;
- computational complexity;
- Maude;
77.EQRC: A secure QR code-based E-coupon framework supporting online and offline transactions

机译：EQRC：基于安全的QR代码的电子优惠券框架支持在线和脱机事务
- 作者：Liu Rui;Song Jun;Huang Zhiming;Pan Jianping
- 期刊名称：《Journal of computer security》 | 2020年第5期
- QR code;
- e-coupon;
- e-commerce;
- commitment algorithms;
- visual cryptography;
78.DEEP RETURN: A deep neural network can learn how to detect previously-unseen ROP payloads without using any heuristics

机译：深度回报：深度神经网络可以学习如何在不使用任何启发式的情况下学习以前检测以前的rop有效载荷
- 作者：Li Xusheng;Hu Zhisheng;Wang Haizhou;Fu Yiwei;Chen Ping;Zhu Minghui;Liu Peng
- 期刊名称：《Journal of computer security》 | 2020年第5期
- Return-oriented programming;
- intrusion detection system;
- disassembly;
- convolutional neural network;
79.A formal and automated approach to exploiting multi-stage attacks of web applications

机译：一种用于利用Web应用程序的多阶段攻击的正式和自动化方法
- 作者：Meo Federico De;Vigano Luca
- 期刊名称：《Journal of computer security》 | 2020年第5期
80.Bucketing and information flow analysis for provable timing attack mitigation

机译：可提供定时攻击缓解的铲斗和信息流分析
- 作者：Terauchi Tachio;Antonopoulos Timos
- 期刊名称：《Journal of computer security》 | 2020年第6期
- Side-channel attacks;
- timing attacks;
- bucketing;
- information flow;
81.A systematic review of security threats and countermeasures in SaaS

机译：对萨斯安全威胁的系统审查和对策
- 作者：de Leon Guillen Miguel Angel Diaz;Morales-Rocha Victor;Fernandez Martinez Luis Felipe
- 期刊名称：《Journal of computer security》 | 2020年第6期
- Software as a service;
- cloud security;
- threats;
- countermeasures;
- systematic review;
82.Side channel analysis of SPECK

机译：斑点频道分析
- 作者：Joseph Mabin;Sekar Gautham;Balasubramanian R.
- 期刊名称：《Journal of computer security》 | 2020年第6期
- SPECK;
- lightweight cipher;
- carry flag attack;
83.Directed adversarial sampling attacks on phishing detection

机译：针对网络钓鱼检测的针对对抗的采样攻击
- 作者：Shirazi Hossein;Bezawada Bruhadeshwar;Ray Indrakshi;Anderson Chuck
- 期刊名称：《Journal of computer security》 | 2021年第1期
- Phishing;
- machine learning;
- adversarial sampling;
- classifiers;
84.A large-scale analysis of HTTPS deployments: Challenges, solutions, and recommendations

机译：HTTPS部署的大规模分析：挑战，解决方案和建议
- 作者：Hu Qinwen;Asghar Muhammad Rizwan;Brownlee Nevil
- 期刊名称：《Journal of computer security》 | 2021年第1期
- HTTPS;
- TLS;
- SSL;
- vulnerabilities;
85.USBCaptchaIn: Preventing (un)conventional attacks from promiscuously used USB devices in industrial control systems

机译：USBCAPTCHAIN：防止（联合国）在工业控制系统中的混杂使用的USB设备中的传统攻击
- 作者：Griscioli Federico;Pizzonia Maurizio
- 期刊名称：《Journal of computer security》 | 2021年第1期
86.FWS: Analyzing, maintaining and transcompiling firewalls

机译：FWS：分析，维护和恢复防火墙
- 作者：Bodei Chiara;Ceragioli Lorenzo;Degano Pierpaolo;Focardi Riccardo;Galletta Letterio;Luccio Flaminia;Tempesta Mauro;Veronese Lorenzo
- 期刊名称：《Journal of computer security》 | 2021年第1期
- Firewall configuration languages;
- Semantic-based tool;
- Configuration analysis;
- refactoring;
- maintaining;
- porting;
87.Research perspectives on fully homomorphic encryption models for cloud sector

机译：云部门全同均匀加密模型的研究视角
- 作者：Mittal Sonam;Ramkumar K.R.
- 期刊名称：《Journal of computer security》 | 2021年第2期
- Big data;
- cloud computing;
- fully homomorphic encryption;
- FHE-based algorithms;
- LWE;
- NTRU;
88.A permission-dependent type system for secure information flow analysis

机译：用于安全信息流分析的权限相关类型系统
- 作者：Xu Zhiwu;Chen Hongxu;Tiu Alwen;Liu Yang;Sareen Kunal
- 期刊名称：《Journal of computer security》 | 2021年第2期
- Secure information flow;
- secure type system;
- non-interference;
- permission-dependent;
- Android;
89.Publicly auditable conditional blind signatures

机译：公开审计有条件盲目签名
- 作者：Grontas Panagiotis;Pagourtzis Aris;Zacharakis Alexandros;Zhang Bingsheng
- 期刊名称：《Journal of computer security》 | 2021年第2期
- Blind signatures;
- designated verifier signatures;
- plaintext equivalence;
- coercion-resistant electronic voting;
90.Lattice-based remote user authentication from reusable fuzzy signature

机译：可重用模糊签名的基于格子的远程用户身份验证
- 作者：Tian Yangguang;Li Yingjiu;Deng Robert H.;Sengupta Binanda;Yang Guomin
- 期刊名称：《Journal of computer security》 | 2021年第3期
- Lattice-based cryptography;
- fuzzy signature;
- biometrics reusability;
- user privacy;
91.Resource and timing aspects of security protocols

机译：安全协议的资源和时间方面
- 作者：Urquiza Abraao Aires;Alturki Musab A.;Kirigin Tajana Ban;Kanovich Max;Nigam Vivek;Scedrov Andre;Talcott Carolyn
- 期刊名称：《Journal of computer security》 | 2021年第3期
- Multiset rewriting;
- protocol security;
- complexity;
- denial of service;
92.A new approach for detecting violation of data plane integrity in Software Defined Networks

机译：一种检测软件定义网络中数据平面完整性违反数据平面完整性的新方法
- 作者：Hessam Ghandi;Saba Ghassan;Alkhayat M. Iyad
- 期刊名称：《Journal of computer security》 | 2021年第3期
- Compromised switches;
- data plane security;
- floodlight controller;
- SDN security;
- Software Defined Networks (SDN);
93.Research perspectives on fully homomorphic encryption models for cloud sector

机译：云部门全同均匀加密模型的研究视角
- 作者：Mittal Sonam;Ramkumar K. R.
- 期刊名称：《Journal of computer security》 | 2021年第3期
94.Permissive runtime information flow control in the presence of exceptions

机译：允许运行时信息流控制在存在情况下
- 作者：Bichhawat Abhishek;Rajani Vineet;Garg Deepak;Hammer Christian
- 期刊名称：《Journal of computer security》 | 2021年第4期
- Runtime information flow control;
- permissive-upgrade;
- control-flow graphs;
- immediate post-dominator analysis;
- exceptions;
95.FakeFilter: A cross-distribution Deepfake detection system with domain adaptation

机译：FakeFilter：具有域适应的交叉分布DeepFake检测系统
- 作者：Jiang Jianguo;Li Boquan;Wei Baole;Li Gang;Liu Chao;Huang Weiqing;Li Meimei;Yu Min
- 期刊名称：《Journal of computer security》 | 2021年第4期
- Digital multimedia forensics;
- face swap;
- Deepfake detection;
- domain adaptation;
96.A comprehensive survey on data provenance: State-of-the-art approaches and their deployments for IoT security enforcement

机译：关于数据出处的全面调查：最先进的方法及其对IOT安全执行的部署
- 作者：Alam Md Morshed;Wang Weichao
- 期刊名称：《Journal of computer security》 | 2021年第4期
- Data provenance;
- information flow control;
- digital forensic;
- Internet of Things;
- cyber-physical systems;
97.Deep learning algorithms for cyber security applications: A survey

机译：网络安全应用的深度学习算法：调查
- 作者：Li Guangjun;Sharma Preetpal;Pan Lei;Rajasegarar Sutharshan;Karmakar Chandan;Patterson Nicholas
- 期刊名称：《Journal of computer security》 | 2021年第5期
- Deep learning;
- cyber security;
- malware detection;
- intrusion detection;
- privacy breaches;
98.Advances in spam detection for email spam, web spam, social network spam, and review spam: ML-based and nature-inspired-based techniques

机译：电子邮件垃圾邮件，Web垃圾邮件，社交网络垃圾邮件和评论垃圾邮件的垃圾邮件检测进展：基于ML和基于自然灵感的技术
- 作者：Akinyelu Andronicus A.
- 期刊名称：《Journal of computer security》 | 2021年第5期
- Spam detection;
- nature-inspired algorithm;
- machine learning;
- spam email;
- web spam;
- social network spam;
- review spam;
99.Video interframe forgery detection: Classification, technique & new dataset

机译：视频帧伪造检测：分类，技术和新数据集
- 作者：Sharma Himani;Kanwal Navdeep
- 期刊名称：《Journal of computer security》 | 2021年第5期
- Video forgery detection;
- interframe forgery;
- frame duplication;
- Hu moments;
- Dataset library;
100.Exploiting WiFi usability features for association attacks in IEEE 802.11: Attack analysis and mitigation controls

机译：Exploiting WiFi usability features for association attacks in IEEE 802.11: Attack analysis and mitigation controls
- 作者：Chatzisofroniou George;Kotzanikolaou Panayiotis
- 期刊名称：《Journal of computer security》 | 2022年第3期
- IEEE 802.11;
- WiFi security;
- association attacks;
- WPA2;
- WPA3;
- WiFi Enhanced Open;
- WiFi Easy Connect;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号