Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Hardware

Decidability of Context-Explicit Security Protocols

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2005English

Guest Editor's Preface

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Author Index Volume 16 (2008)

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2008English

Folklore, Practice and Theory of Robust Combiners

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2009English

Editors' Preface

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
1995English

Quantifying Information Flow With Beliefs

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2009English

Language Based Policy Analysis in a SPKI Trust Management System

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2006English

Erratum

Genetic Programming and Evolvable Machines
HardwareComputer Science ApplicationsTheoretical Computer ScienceArchitectureSoftware
2004English

The Eventual Clusterer Oracle and Its Application to Consensus in MANETs

Proceedings of the IEEE Symposium on Reliable Distributed Systems
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceSoftware
2007English

Verifying Information Flow Goals in Security-Enhanced Linux

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy