diff options
Diffstat (limited to 'spec/guard-spec/appendices.md')
-rw-r--r-- | spec/guard-spec/appendices.md | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/spec/guard-spec/appendices.md b/spec/guard-spec/appendices.md index ea743f7..612ff4c 100644 --- a/spec/guard-spec/appendices.md +++ b/spec/guard-spec/appendices.md @@ -1,13 +1,16 @@ <a id="guard-spec.txt-A"></a> + # Appendices <a id="guard-spec.txt-A.0"></a> + ## Acknowledgements This research was supported in part by NSF grants CNS-1111539, CNS-1314637, CNS-1526306, CNS-1619454, and CNS-1640548. <a id="guard-spec.txt-A.1"></a> + ## Parameters with suggested values. [Section:PARAM_VALS] (All suggested values chosen arbitrarily) @@ -76,6 +79,7 @@ CNS-1314637, CNS-1526306, CNS-1619454, and CNS-1640548. ``` <a id="guard-spec.txt-A.2"></a> + ## Random values [Section:RANDOM] Frequently, we want to randomize the expiration time of something @@ -87,6 +91,7 @@ By RAND(now, INTERVAL) we mean a time between now and INTERVAL in the past, chosen uniformly at random. <a id="guard-spec.txt-A.3"></a> + ## Why not a sliding scale of primaryness? [Section:CVP] At one meeting, I floated the idea of having "primaryness" be a @@ -141,6 +146,7 @@ need more analysis! Here's why: ``` <a id="guard-spec.txt-A.4"></a> + ## Controller changes We will add to control-spec.txt a new possible circuit state, GUARD_WAIT, @@ -150,6 +156,7 @@ but we will not use it because a circuit with a better guard might become built too. <a id="guard-spec.txt-A.5"></a> + ## Persistent state format The persistent state format doesn't need to be part of this @@ -208,4 +215,3 @@ Recognized fields (values of K) are: All dates here are given as a (spaceless) ISO8601 combined date and time in UTC (e.g., 2016-11-29T19:39:31). - |