User loginNavigation |
Trade-offs with abstractionPeter A. H. Petersen has written two weblog posts on abstraction and security: The points he makes echo a theme dear to my heart: abstractions offer the programmer compositionality of construction when creating their programs and systems, but that notion of compositionality does not match all of the properties one needs to ensure that a system is secure. Cf. slogan #2, from my story The irreducible physicality of security properties: Postscript — Before someone mentions it, Joel Spolsky wrote something quite relevant: The Law of Leaky Abstractions By Charles Stewart at 2009-07-07 09:12 | LtU Forum | previous forum topic | next forum topic | other blogs | 9692 reads
|
Browse archivesActive forum topics |
Recent comments
42 min 51 sec ago
52 min 13 sec ago
57 min 10 sec ago
8 hours 12 min ago
8 hours 27 min ago
13 hours 9 min ago
15 hours 44 min ago
21 hours 55 min ago
1 day 4 hours ago
1 day 6 hours ago