The following pages link to Fibred security language (Q1037607):
Displayed 4 items.
- Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction (Q1037610) (← links)
- A meta-model of access control in a fibred security language (Q1037612) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)