Sage Journals: Discover world-class research

Retricted access

Research article

First published 2025-7

Security detection algorithm using CNN: Anomaly detection for API call sequence

Jie Chang, Lipeng Shi, Zhefeng Li [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2016-4-19

Information-flow security for JavaScript and its APIs

Daniel Hedin, Luciano Bello, Andrei Sabelfeld

Journal of Computer Security

Retricted access

Research article

First published 2016-11-8

Automated analysis of security protocols with global state

Steve Kremer, Robert Künnemann

Journal of Computer Security

Retricted access

Research article

First published 2010-9-20

Formal security analysis of PKCS#11 and proprietary extensions

Stéphanie Delaune, Steve Kremer, Graham Steel

Journal of Computer Security

Retricted access

Research article

First published 2013-12-20

Type-based analysis of key management in PKCS#11 cryptographic devices

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio

Journal of Computer Security

Retricted access

Research article

First published 2020-8

An automation API for authentication and security for file uploads in the cloud storage environment

Neelamadhab Padhy, Raman Kumar Mishra, Suresh Chandra Satapathy [...]

Intelligent Decision Technologies

Retricted access

Research article

First published 2016-3-1

Mashic compiler: Mashup sandboxing based on inter-frame communication

Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos [...]

Journal of Computer Security

Retricted access

Research article

First published 2008-8

ACVisualizer: A visualization tool for APi-calculus

Raheel Ahmad, Shahram Rahimi

Multiagent and Grid Systems

Retricted access

Research article

First published 2003-7-1

Programmable access control 1

John Hale, Mauricio Papa, Sujeet Shenoi

Journal of Computer Security

Retricted access

Research article

First published 2014-7-11

Guiding a general-purpose C verifier to prove cryptographic protocols

François Dupressoir, Andrew D. Gordon, Jan Jürjens [...]

Journal of Computer Security

Search results