State Machine Model for The Update Framework (TUF)

Brian Romansky, Thomas Mazzuchi, Shahram Sarkani

The Update Framework or TUF was developed to address several known weaknesses that have been observed in software update distribution and validation systems. Unlike conventional se…