The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. The 11th issue of the Transactions on Computational Science journal, edited by Edward David Moreno, is the second of two publications focusing on security in computing. The 14 papers in the volume address a wide range of hot topics within the sphere of security research, including new architectures, novel hardware implementations, cryptographic algorithms and security protocols, and new tools and applications.An Extended Proof-Carrying Code Framework for Security Enforcement Heidar Pirzadeh1, Danny DubAc2, and Abdelwahab Hamou-Lhadj1 1Department of Electrical and Computer Engineering Concordia University Montreal, QC, Canadaanbsp;...
|Title||:||Transactions on Computational Science XI|
|Publisher||:||Springer - 2010-12-07|