Information Carrying Identity Proof Trees

doi 10.1145/1314333.1314348
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Proof-Carrying Code With Untrusted Proof Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Proof-Carrying Code Based Tool for Secure Information Flow of Assembly Programs

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2009English

A Short Proof of an Identity of Sylvester

International Journal of Mathematics and Mathematical Sciences
Mathematics
1999English

Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1999English

Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions

Monist, The
Philosophy
1994English

By Reason and Authority: A System for Authorization of Proof-Carrying Code

English

Carrying Label Information in BGP-4

2001English

Short Proof for a Connected Simple Graph With Fewest Spanning Trees

Applied Mathematical Sciences
2013English

Generalized Bijective Proof of the Partition Identity of M.V. Subbarao

International Mathematical Forum
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy