Types for access control (Q1575157): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: A calculus for cryptographic protocols: The spi calculus / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4470506 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3122689 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4370350 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3024900 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Mobile ambients / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Filter Model for Concurrent $\lambda$-Calculus / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A calculus of mobile agents / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Generative communication in Linda / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4223018 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Efficient recursive subtyping / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3992568 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A calculus of mobile processes. II / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Decoding choice encodings / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3837262 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Trust and partial typing in open systems of mobile agents / rank | |||
Normal rank | |||
Revision as of 12:09, 30 May 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Types for access control |
scientific article |
Statements
Types for access control (English)
0 references
21 August 2000
0 references
network aware programming
0 references
mobile agents
0 references
coordination
0 references
type systems
0 references
access control
0 references
