C. Meadows

Using traces based on procedure calls to reason about composability

C. Meadows, C. Meadows, 1992, Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy.