Search results for: Alessandro Armando
Lecture Notes in Computer Science > Formal Aspects in Security and Trust > Session 2. Workflow and Orchestration > 66-80
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 30-45
Lecture Notes in Computer Science > Model Checking Software > Advanced Handling of Data Aspects > 146-162
Lecture Notes in Computer Science
Lecture Notes in Computer Science
IFIP — The International Federation for Information Processing > Future Challenges in Security and Privacy for Academia and Industry > Authentication > 68-79
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 2 > 187-204