A framework can be constituted-of-or-filled-with computation.
Techniques can be constituted-of-or-filled-with secure computation.
A (computation model) can be a version of abstract (state machines).
Abstract models can be constituted-of-or-filled-with parallel computation.
A (signature np-complete problem) can be in models of computation.