Security Renaissance

I ran across a very interesting article on Economist.com that discusses how rules regarding the sharing of private information can be expressed logically. The article’s title is The logic of privacy: A new way to think about computing and personal information.
Here is an excerpt to wet your appetite:

For example, the Gramm-Leach-Bliley act states that “a financial institution may not disclose personal information, unless such financial institution provides or has provided to the consumer a notice.” This is expressed as:

IF send(financial-institution, third-party, personal-information)
THEN PREVIOUSLY send(financial-institution, consumer, notification)
OR EVENTUALLY send(financial-institution, consumer, notification)

This entry was posted on Monday, January 8th, 2007 at 7:48 pm and is filed under General, Privacy. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.