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: |  https://orcid.org/0000-0002-9184-8968 |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric