How to avoid insider cyber-attacks by creating a corporate culture that infuses trust.
Fred B. Schneider
Advertisement
Author Archives
Putting Trust in Security Engineering
Proposing a stronger foundation for an engineering discipline to support the design of secure systems.
Impediments with Policy Interventions to Foster Cybersecurity
A call for discussion of governmental investment and intervention in support of cybersecurity.
Technical Perspective: Ironfleet Simplifies Proving Safety and Liveness Properties
"IronFleet: Proving Safety and Liveness of Practical Distributed Systems," by Chris Hawblitzel, et al., describes mechanically checked proofs for two non-trivial distributed services: A Paxos-based library to support replication and a shared key-value store.
Program Committee Overload in Systems
Conference program committees must adapt their review and selection process dynamics in response to evolving research cultural changes and challenges.
By definition, a secure system enforces some policy it is
given. For example, such a policy might prevent confidential
files from being revealed or might notify the copyright
holder every time an MP3 file is played. The former protects
the user as an individual; the latter enables new means of
charging for electronically distributed intellectual
property. Both might be seen as improving the status quo. Yet
whether secure systems are in practice attractive really
depends on two questions: What range of policies can the
system enforce? And, Who chooses what policies the system
enforces?
Inside Risks: Evolving Telephone Networks
The U.S. public telephone network (PTN) is changing—partly in response to changes in technology and partly due to deregulation. Some changes are for the better: lower prices with more choices and services for consumers. But there are other consequences and, in some ways, PTN trustworthiness is eroding. Moreover, this erosion can have far-reaching consequences. Critical […]
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved