Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-10-12

Achieving information flow security through monadic control of effects

William L. Harrison, James Hook

Journal of Computer Security

Retricted access

Research article

First published 2009-10-12

On declassification and the non-disclosure policy

Ana Almeida Matos, Gérard Boudol

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 2010-8-16

Adjoining classified and unclassified information by abstract interpretation

Roberto Giacobazzi, Isabella Mastroeni

Journal of Computer Security

Retricted access

Research article

First published 2020-06-25

RETRACTED: Design of intelligent community security system based on visual tracking and large data natural language processing technology

Li Daming, Deng Lianbing, Cai Zhiming [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2012-4-27

Modular plans for secure service composition

Gabriele Costa, Pierpaolo Degano, Fabio Martinelli

Journal of Computer Security

Retricted access

Research article

First published 2010-3-22

Risk assessment of security threats for looping constructs *

Pasquale Malacaria

Journal of Computer Security

Retricted access

Research article

First published 2003-10-1

A unifying approach to the security of distributed and multi-threaded programs 1

Heiko Mantel, Andrei Sabelfeld

Journal of Computer Security

Retricted access

Research article

First published 2016-11-8

Information flow analysis for a dynamically typed language with staged metaprogramming

Martin Lester, Luke Ong, Max Schäfer

Journal of Computer Security

Retricted access

Research article

First published 2017-7-10

Paragon – Practical programming with information flow control

Niklas Broberg, Bart van Delft, David Sands

Journal of Computer Security

Search results