Formal Methods for Open Object-Based Distributed Systems V (IFIP International Federation for Information Processing)
Contributors: Bart Jacobs (Editor); Arend Rensink (Editor)
Edition: 1st edition
Publisher: Springer
Published: March 31, 2002
Language: eng
Format: Hardcover
Number of pages: 296
ISBN-13: 9780792376835
Subjects: General Theory of Computing; Programming - Object Oriented Programming; General; Technology; Distributed Computer Systems; Object-Oriented Programming; Medical / Nursing; Object-oriented programming (Computer science); Science/Mathematics; Object-oriented programming (C; Computer Architecture - General; Computers / Computer Architecture; Congresses; Distributed processing; Electronic data processing
First sentence: Security protocols aim to provide security guarantees between parties communicating over an insecure network, and possibly in the presence of malicious agents who can interfere with and disrupt communication traffic.