On the role of formal methods in security |
| |
| Affiliation: | 1. Department of Computer Science, Chandrakona Vidyasagar Mahavidyalaya, Paschim-Medinipur, West Bengal, 721201, India;2. Department of Mathematics, Mahishadal Raj College, Mahishadal, Purba-Medinipur, West Bengal, 721628, India;1. State Key Laboratory of Environmental and Biological Analysis, Department of Chemistry, Hong Kong Baptist University, Hong Kong, PR China;2. Shenzhen Institute for Drug Control, Shenzhen 518055, PR China;3. State Key Laboratory Breeding Base-Shenzhen Key Laboratory of Chemical Biology, Graduate School at Shenzhen, Tsinghua University, Shenzhen 518055, PR China;4. Key Laboratory of Metabolomics at Shenzhen, Shenzhen 518055, PR China |
| |
| Abstract: | Separation of concerns and layers of abstraction have long been advocated by proponents of programming methodology and have been used effectively for building large scale systems. In this paper, we use recent developments on power analysis attacks on cryptographic implementations to raise some questions about the applicability of these approaches especially to cryptography and security. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
