Pages that link to "Item:Q1853583"
From MaRDI portal
The following pages link to Analysis of security protocols as open systems (Q1853583):
Displaying 22 items.
- A method for symbolic analysis of security protocols (Q557806) (← links)
- \textsf{CaPiTo}: Protocol stacks for services (Q640297) (← links)
- Synthesis of secure adaptors (Q764381) (← links)
- Formal correctness of security protocols. (Q869815) (← links)
- Formal models and analysis of secure multicast in wired and wireless networks (Q1040779) (← links)
- Three systems for cryptographic protocol analysis (Q1330137) (← links)
- A comparison of three authentication properties. (Q1853750) (← links)
- Invariant-based reasoning about parameterized security protocols (Q2268473) (← links)
- Analysis of security protocols based on challenge-response (Q2372525) (← links)
- Using equivalence-checking to verify robustness to denial of service (Q2493670) (← links)
- Pattern-matching spi-calculus (Q2500522) (← links)
- Towards an awareness-based semantics for security protocol analysis (Q2841215) (← links)
- Extending security protocol analysis: new challenges (Q2848031) (← links)
- A coordination-based methodology for security protocol verification (Q2849570) (← links)
- Performance evaluation of security protocols specified in LySa (Q2849853) (← links)
- A uniform framework for security and trust modeling and analysis with crypto-CCS (Q2866730) (← links)
- Automated synthesis of enforcing mechanisms for security properties in a timed setting (Q2866731) (← links)
- Formal analysis of security protocols for wireless sensor networks (Q3075867) (← links)
- There are Two Sides to Every Question (Q3460874) (← links)
- Analyzing security protocols with secrecy types and logic programs (Q5178896) (← links)
- Programming Languages and Systems (Q5308695) (← links)
- Branching bisimulation semantics enables noninterference analysis of reversible systems (Q6535463) (← links)
