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 | 10905 reads
|
Browse archivesActive forum topics |
Recent comments
6 hours 8 min ago
2 weeks 2 hours ago
6 weeks 1 day ago
6 weeks 5 days ago
6 weeks 5 days ago
8 weeks 5 days ago
8 weeks 5 days ago
9 weeks 1 day ago
9 weeks 1 day ago
10 weeks 1 day ago