Information flow security in boundary ambients (Q2482455): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q62045688 / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: BANANA / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.ic.2007.12.001 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2030876862 / rank | |||
Normal rank | |||
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 | |||
links / mardi / name | links / mardi / name | ||
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