Secure Implementation of Channel Abstractions

Author： Abadi M.   Fournet C.   Gonthier G.  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.174, Iss.1, 2002-04, pp. : 37-83

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Generic constructions of secure‐channel free searchable encryption with adaptive security

By  

SECURITY AND COMMUNICATION NETWORKS (ELECTRONIC), Vol. 8, Iss. 8, 2015-05 ,pp. : 1547-1560

John Wiley & Sons Inc

Access to resources Recommend Favorite

Formal architectural abstractions for interactive software

By Markopoulos P.   Johnson P.   Rowson J.  

International Journal of Human-Computer Studies, Vol. 49, Iss. 5, 1998-11 ,pp. : 675-715

Academic Press

Access to resources Recommend Favorite

John M. Prausnitz: Bridging abstractions and realities

By  

AICHE JOURNAL, Vol. 61, Iss. 9, 2015-09 ,pp. : 2675-2688

John Wiley & Sons Inc

Access to resources Recommend Favorite

Implementation of the Multi-Channel Monolith Reactor in an Optimisation Procedure for Heterogeneous Oxidation Catalysts Based on Genetic Algorithms

By  

Combinatorial Chemistry & High Throughput Screening, Vol. 10, Iss. 1, 2007-01 ,pp. : 59-70

Bentham Science Publishers

Access to resources Recommend Favorite

The Role of Preliminary Heat Treatment in the Formation of Ultrafine-Grained Structure in the Implementation of the Combined Process "Rolling - Equal Channel Angular Pressing"

By  

Materials Science Forum, Vol. 2016, Iss. 879, 2017-02 ,pp. : 1093-1098

Trans Tech Publications

Access to resources Recommend Favorite