MPG.eBooks - Search Results - ((internal security) OR (internet securite))

Search alternatives:
internal security » internet security , international security , national security
internet securite » internet security

Cover Image

1

Programming Concepts and Methods PROCOMET ’98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, Ne...

Published 1998

Springer US

Table of Contents: “... deduction style message derivation engine to verify security protocols -- 11 Programming language semantics...”