tomlarkworthy/firesafe
View on GitHub ↗ ★ 125 JavaScript
secure firebase state machines
4 mentions on Hacker News by 1 person: 1 story, 3 comments · first 2014-04-06 · latest 2014-05-01
20082026
-
…protocols, though the formal verification actually operated on the Firebase security rule level. * https://github.com/tomlarkworthy/firesafe/wiki/Send-Item EDIT: reply to oggy's child question as I can't reply underneath. The actual spec…
comment by tlarkworthy · 2014-05-01 · in Co-routines as an alternative to state machines (2009) -
…for their niche, sequence diagrams are useful too. I use both for a Firebase abstraction layer: https://github.com/tomlarkworthy/firesafe/wiki/Send-Item (state chart is at bottom)
comment by tlarkworthy · 2014-04-22 · in Ask HN: Is UML still relevant today? -
▲ 1
Show HN: formal verification for Firebasestory by tlarkworthy · 2014-04-11 · 0 comments
-
…top of NoSQL databases, I did it here, but it took a static analyser to help get the logic right: https://github.com/tomlarkworthy/firesafe/wiki/Send-Item
comment by tlarkworthy · 2014-04-06 · in NoSQL Meets Bitcoin and Brings Down Two Exchanges