Exploring new frontiers of theoretical informatics :IFIP 18th World Computer Congress ; TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France.
附註:Includes bibliographical references and index.
Preliminaries; CONTENTS; Preface; The tPI (tRNA Pairing Index); Stability of Approximation in Discrete Optimization; Towards a Broader Theory of Mobile Processes; A Decidable Analysis of Security Protocols; Looking Inside AES and BES; Remove Key Escrow from The Identity-Based Encryption System; A Randomised Algorithm for Checking the Normality of Cryptographic Boolean Functions; Reversible Circuit Realizations of Boolean Functions; Resource Bounded Immunity and Simplicity; Degree Bounds on Polynomials and Relativization Theory.
摘要:In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to perform a multitude of tasks.