The goal of the Test Flight Day is to motivate organizations across the industry – Internet service providers, hardware makers, operating system vendors and web companies – to prepare their services for IPv6 to ensure a successful transition as IPv4 addresses run out.
The BBC (www.bbc.co.uk), for example, is now running on the IPv6 address 2001:4b10:bbc::1
We present a system for sound static checking of security policies for database-backed Web applications. Our tool checks a combination of access control and information flow policies, where the policies vary based on database contents. For instance, one or more database tables may represent an access control matrix, controlling who may read or write which cells of these and other tables.
The BBC’s Animation Director incorrectly states “they clearly are not designed to fly”…the BBC should have looked at footage of the penguins underwater instead of just in the air.