Boiten, Eerke Albert and Jacob, Jeremy (2014) Sealed containers in Z. In: Ait Ameur, Y. and Schewe, K.-D., eds. Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference. Lecture Notes in Computer Science, 8477 . Springer, Berlin, Germany, pp. 136-141. ISBN 978-3-662-43651-6. E-ISBN 978-3-662-43652-3. (doi:10.1007/978-3-662-43652-3_12) (KAR id:40790)
PDF (Extended paper)
Updated Version
Language: English |
||
Download (168kB)
Preview
|
|
|
This file may not be suitable for user of assistive technology. Request an accessible format. |
||
Official URL http://dx.doi.org/10.1007/978-3-662-43652-3_12 |
Abstract
Physical means of securing information, such as sealed envelopes and scratch cards, can be used to achieve cryptographic objectives. Reasoning about this has so far been informal.
We give a model of distinguishable sealed envelopes in Z, exploring design decisions and further analysis and development of such models.
Item Type: | Book section |
---|---|
DOI/Identification number: | 10.1007/978-3-662-43652-3_12 |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: |
Faculties > Sciences > School of Computing Faculties > Sciences > School of Computing > Security Group |
Depositing User: | Eerke Boiten |
Date Deposited: | 15 Apr 2014 19:24 UTC |
Last Modified: | 29 May 2019 12:30 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/40790 (The current URI for this page, for reference purposes) |
Boiten, Eerke Albert: | ![]() |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):