Where does liveness collide?

In formal methods, a liveness property asserts that something good eventually happens in a computation, such as a request finally being served or a process eventually making progress, as opposed to a safety property, which asserts that nothing bad ever happens. Lamport's 1977 Proving the correctness of multiprocess programs drew this safety-versus-liveness distinction that still organises the verification of concurrent and distributed systems. The referent is a class of correctness claims about infinite executions, proved with fairness assumptions and temporal logic, and it is unrelated to detecting a live finger at a sensor or the felt presence of a live performance beyond the shared root word.[1]

Unit

Whether every execution eventually reaches a required good state

Recovery means

Not applicable

Measured by

Established by proof using temporal logic, fairness assumptions, and well-founded (variant) arguments showing progress

In biometric security, liveness detection is the set of checks that confirm a captured fingerprint, face, or iris comes from a living person present at the sensor rather than from a photograph, mould, or recording used to spoof the system. Schuckers' 2002 Spoofing and anti-spoofing measures surveyed how fake biometrics defeat sensors and how liveness signals such as perspiration, pulse, or involuntary motion can catch them. The referent is an anti-spoofing safeguard at the point of capture, measured by spoof-acceptance rates, distinct from a formal liveness property or a performance scholar's notion of live presence.[2]

Unit

Whether a presented biometric sample originates from a live subject

Recovery means

Not applicable

Measured by

Quantified by attack-presentation classification error rates (spoof acceptance and genuine rejection) against known presentation attacks

In performance and media studies, liveness names the quality of an event experienced as happening live and co-present, and the cultural value placed on that immediacy as recording and streaming blur what counts as live. Auslander's 2012 Digital liveness: A historico-philosophical perspective argues that liveness is not a fixed property of events but a shifting relationship audiences ascribe, reshaped by each new mediating technology. The referent is a contested cultural and phenomenological category about presence and mediation, unrelated to a verification property or a biometric check beyond the shared word for being live.[3]

Unit

The ascribed quality and value of an event as live and co-present

Recovery means

Not applicable

Measured by

Not applicable; examined through critical and historical analysis of how audiences and technologies construe live presence