Logical Foundations of Secure Resource Management in Protocol Implementations

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-36830-1_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Logical Foundations of Computer Science

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Logical Information Theory: New Logical Foundations for Information Theory

Logic Journal of the IGPL
Philosophy
2017English

Logical Foundations of Relational Data Exchange

SIGMOD Record
Information SystemsSoftware
2009English

Verifying Authentication Protocol Implementations

2002English

Foundations of Secure Interactive Computing

English

Secure Implementations for Typed Session Abstractions

20th IEEE Computer Security Foundations Symposium (CSF'07)
2007English

Logical and Value-Semantic Foundations of the Worldview

INNOVATIVE SOLUTIONS IN MODERN SCIENCE
2018English

Verifying Sensor Network Security Protocol Implementations

English

Secure Sockets Layer Protocol.

Journal of Computer Science and Cybernetics
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy