Communicating sequential processes
Communicating sequential processes
Formal specification of fault-tolerance and its relation to computer security
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
A calculus of mobile processes, II
Information and Computation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
On the functional relation between security and dependability impairments
Proceedings of the 1999 workshop on New security paradigms
Applying the dependability paradigm to computer security
NSPW '95 Proceedings of the 1995 workshop on New security paradigms
Communication and Concurrency
Analysis of security protocols as open systems
Theoretical Computer Science
Security and Dependability: Then and Now
CSDA '98 Proceedings of the Conference on Computer Security, Dependability, and Assurance: From Needs to Solutions
Partial Model Checking and Theorem Proving for Ensuring Security Properties
CSFW '98 Proceedings of the 11th IEEE workshop on Computer Security Foundations
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
An Approach for the Specification, Verification and Synthesis of Secure Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Preserving security properties under refinement
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
Hi-index | 0.00 |