BSPL: A Language to Specify and Compose Fine-grained Information Flow Policies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

BSPL: A Language to Specify and Compose Fine-grained Information Flow Policies

No file

Dates and versions

hal-00909400 , version 1 (26-11-2013)

Identifiers

  • HAL Id : hal-00909400 , version 1

Cite

Stéphane Geller, Valérie Viet Triem Tong, Ludovic Mé. BSPL: A Language to Specify and Compose Fine-grained Information Flow Policies. SECUREWARE - 7th International Conference on Emerging Security Information, Systems and Technologies - 2013, 2013, Barcelona, Spain. ⟨hal-00909400⟩
160 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More