Just Fast Keying in the Pi Calculus

ACM Transactions on Information and System Security - United States
doi 10.1145/1266977.1266978
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

The Applied Pi Calculus

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2018English

Towards Gradually Typed Capabilities in the Pi-Calculus

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2019English

Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
1998English

Set-Pi: Set Membership P-Calculus

2015English

Static vs Dynamic Typing for Access Control in Pi-Calculus

English

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Study of the $\Pi^+\pi^-$ System in $\Pi^-\Pi^+\pi^-$ Final States at COMPASS

2014English

Relativistic Quark Clustering in the Gamma Gamma -> Pi^+ Pi^- And Pi^0 Pi^0 Reactions

1988English

Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied PI Calculus With Proverif

Information Technology Journal
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy