Updates

[iotcloud.git] / version2 / doc / iotcloud_informal / iotcloud.out

diff --git a/version2/doc/iotcloud_informal/iotcloud.out b/version2/doc/iotcloud_informal/iotcloud.out
index 4241fc529e97d62f4f39fc8769a00f8ae8994b96..14b35497042285a858c3b16bf8fe2690c99fb4f8 100644 (file)
--- a/version2/doc/iotcloud_informal/iotcloud.out
+++ b/version2/doc/iotcloud_informal/iotcloud.out
@@ -24,3 +24,9 @@
 \BOOKMARK [2][-]{subsection.4.4}{Create New Key Operation}{section.4}% 24
 \BOOKMARK [1][-]{section.5}{System Guarantees}{}% 25
 \BOOKMARK [1][-]{section.6}{System Correctness}{}% 26
+\BOOKMARK [2][-]{subsection.6.1}{Data Integrity and Authentication}{section.6}% 27
+\BOOKMARK [2][-]{subsection.6.2}{Ordering of Records}{section.6}% 28
+\BOOKMARK [2][-]{subsection.6.3}{Data Structure Functions}{section.6}% 29
+\BOOKMARK [3][-]{subsubsection.6.3.1}{Put}{subsection.6.3}% 30
+\BOOKMARK [3][-]{subsubsection.6.3.2}{Get}{subsection.6.3}% 31
+\BOOKMARK [3][-]{subsubsection.6.3.3}{Create New Key}{subsection.6.3}% 32