(SC)²: A System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-application Smart Cards

Nicola Dragoni, Eduardo Lostal, Davide Papini. (SC)²: A System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-application Smart Cards. In POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011. pages 186-187, IEEE Computer Society, 2011. [doi]

@inproceedings{DragoniLP11,
  title = {(SC)²: A System to Secure Off-Card Contract-Policy Matching in Security-by-Contract for Open Multi-application Smart Cards},
  author = {Nicola Dragoni and Eduardo Lostal and Davide Papini},
  year = {2011},
  doi = {10.1109/POLICY.2011.22},
  url = {http://doi.ieeecomputersociety.org/10.1109/POLICY.2011.22},
  tags = {contracts, source-to-source, security, open-source},
  researchr = {https://researchr.org/publication/DragoniLP11},
  cites = {0},
  citedby = {0},
  pages = {186-187},
  booktitle = {POLICY 2011, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4244-9879-6},
}