Static Semantics of Secret Channel Abstractions

摘要: The secret π-calculus extends the by adding an hide operator that permits to declare channels as secret. main aim is confidentiality, which gained restricting access of object communication. Communication protected are more secure since they have static scope and do not allow context’s interaction, can be implemented dedicated channels. In this paper, we present semantics channel abstractions introducing a type system considers two modalities for (scope): dynamic. We show represented in prescribing modality. illustrate feasibility our approach security API message-passing communication works standard (π-calculus) middleware while featuring Interestingly, just require programmer meant secret, leaving burden managing compiler.