The following pages link to Fabio Massacci (Q861697):
Displayed 28 items.
- Verifying the SET purchase protocols (Q861698) (← links)
- A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems (Q1032303) (← links)
- How to fake an RSA signature by encoding modular root finding as a SAT problem (Q1408375) (← links)
- (Q1575657) (redirect page) (← links)
- The proof complexity of analytic and clausal tableaux (Q1575658) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Combining deduction and model checking into tableaux and algorithms for converse-PDL. (Q1854371) (← links)
- Single step tableaux for modal logics. Computational properties, complexity and methodology (Q1977576) (← links)
- Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard (Q1977757) (← links)
- Practical witness-key-agreement for blockchain-based dark pools financial trading (Q2147265) (← links)
- Matching in security-by-contract for mobile code (Q2390033) (← links)
- (Q2721183) (← links)
- (Q2751040) (← links)
- (Q2767083) (← links)
- Attacking Fair-Exchange Protocols (Q2841217) (← links)
- (Q2848480) (← links)
- A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach (Q3092182) (← links)
- (Q3838815) (← links)
- Tableau methods for formal verification of multi-agent distributed systems (Q4209290) (← links)
- Tableaux methods for access control in distributed systems (Q4610331) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- (Q4707750) (← links)
- (Q4786009) (← links)
- Strongly analytic tableaux for normal modal logics (Q5210808) (← links)
- A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
- Trust Management (Q5307981) (← links)
- Verifying security protocols as planning in logic programming (Q5738918) (← links)
- Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation (Q5862674) (← links)