Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Large-scale open distributed systems provide an infrastructure for assembling global applications on the basis of software and hardware components originating from multiple sources. Open systems rely on publicly available standards to permit heterogeneous components to interact. The Internet is the archetype of a large-scale open distributed system; standards such as HTTP, HTML, and XML, together with the widespread adoption of the Java language, are the cornerstones of many distributed systems. This book surveys security in large-scale open distributed systems by presenting several classic papers and a variety of carefully reviewed contributions giving the results of new research and development. Part I provides background requirements and deals with fundamental issues in trust, programming, and mobile computations in large-scale open distributed systems. Part II contains descriptions of general concepts, and Part III presents papers detailing implementations of security concepts.

681.3*D15 --- Computer security --- Electronic data processing --- -Internet programming --- Mobile computing --- 681.3 *C2 --- 681.3*D13 --- 681.3*D24 --- 681.3*H43 --- 681.3*H43 Communications applications: electronic mail teleconferencing videotex (Information systems applications) --- Communications applications: electronic mail teleconferencing videotex (Information systems applications) --- 681.3*D13 Concurrent programming --- Concurrent programming --- 681.3 *C2 Computer communication networks: data communications OSI security and protection --- Computer communication networks: data communications OSI security and protection --- Context-aware computing --- Portable computers --- Computer programming --- Computer privacy --- Computer system security --- Computer systems --- Computers --- Electronic digital computers --- Security of computer systems --- Data protection --- Security systems --- Hacking --- 681.3*D15 Software: object-oriented programming --- Software: object-oriented programming --- 681.3*D24 Program verification: assertion checkers correctness proofs reliability validation (Software engineering)--See also {681.3*F31} --- Program verification: assertion checkers correctness proofs reliability validation (Software engineering)--See also {681.3*F31} --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Distributed processing --- Security measures --- Automation --- Cyber security --- Cybersecurity --- Protection of computer systems --- Protection --- Computer science. --- Information technology. --- Business --- Computer communication systems. --- Software engineering. --- Data encryption (Computer science). --- Computer Science. --- Computer Communication Networks. --- Data Encryption. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- IT in Business. --- Data processing. --- Internet programming --- 681.3*H43 Communications applications: electronic mail; teleconferencing; videotex (Information systems applications) --- Communications applications: electronic mail; teleconferencing; videotex (Information systems applications) --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- Computer communication networks: data communications; OSI; security and protection --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Distributed computer systems in electronic data processing --- Distributed computing --- Distributed processing in electronic data processing --- Computer networks --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Cryptography --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatics --- Science --- Computer security. --- Internet programming. --- Mobile computing. --- Distributed processing. --- Cryptology. --- Business—Data processing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer systems --- Verification --- Computer systems - Verification --- Informatique --- Computer science --- Verification. --- 681.3*D24 --- 681.3*F22 --- 681.3*F31 --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Verification of computer systems --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F22 Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- Artificial intelligence. Robotics. Simulation. Graphics