The security of a two-party computation protocol is usually defined through a comparison with an idealised scenario that is secure by definition.
The security of a two-party computation protocol is often evaluated against a hypothetical model that is inherently secure.