Information flow security in boundary ambients (Q2482455): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4230922 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4417947 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Security boundaries in mobile ambients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2843917 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nesting analysis of mobile ambients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Secure safe ambients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Behavioural typing for safe ambients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5714432 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4536435 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mobile ambients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An overview of Boxed Ambients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2766538 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2766539 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4778710 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4798029 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equational properties of mobile ambients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On abstract interpretation of mobile ambients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract interpretation of mobile ambients. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4255591 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4738360 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2763677 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: BioAmbients: an abstraction for biological compartments / rank | |||
Normal rank |
Latest revision as of 21:41, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Information flow security in boundary ambients |
scientific article |
Statements
Information flow security in boundary ambients (English)
0 references
16 April 2008
0 references
Mobile Ambient calculus
0 references