| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Enforcing Private Policy via Security-by-Contract
Abstract : This work aims to investigate how the Security-by-Contract paradigm, developed for providing security assurances to mobile applications, can be used for guaranteeing the security of communicating systems composed by several, heterogeneous components.
Cited literature [12 references]
https://hal.inria.fr/inria-00536716
Contributor : Emmanuelle Grousset Connect in order to contact the contributor
Submitted on : Wednesday, November 24, 2010 - 10:35:17 AM
Last modification on : Friday, August 23, 2019 - 11:02:03 AM
Long-term archiving on: : Friday, February 25, 2011 - 2:29:11 AM
Contributor : Emmanuelle Grousset Connect in order to contact the contributor
Submitted on : Wednesday, November 24, 2010 - 10:35:17 AM
Last modification on : Friday, August 23, 2019 - 11:02:03 AM
Long-term archiving on: : Friday, February 25, 2011 - 2:29:11 AM
File
IPM-Connect_2_.pdf
Files produced by the author(s)