阿兰·巴迪欧论主体化和主体进程

阿兰·巴迪欧将主体分为两种机制,即实体构成机制与心理构成机制。实体机制表现为主体化的身体,将作为精神的主体与作为肉身的身体相结合。心理机制主要表现为瞬时性与持续性的主体,他将其称之为主体化与主体进程。主体化具有破坏性和暂时性,它通常标志着主体在情境中出现的时刻,与介入相联系,并分为两种不同的形式——焦虑和勇气。主体进程是破坏后的重新组合,它是持久的,目的在于对当时情境的重组,通向的是超我与公正。焦虑与勇气、超我与公正,四者之间的不同排列组合(横向、纵向和对角线)可构成不同的主体类型及其功能。

密码协议主体角色进程表示

密码协议分析与设计的基础是对其进行形式化建模。将主体角色发送和接收消息的行为分别表示为相应的主体角色发送进程和接收进程,定义前缀(串行)和并发运算为主体角色进程演进的算子,并进一步将主体角色进程演进的状态系统描述为密码协议的串空间图。它为密码协议安全属性的验证提供了一个形式化模型。