decoration decoration
Stories

GROKLAW
When you want to know more...
decoration
For layout only
Home
Archives
Site Map
Search
About Groklaw
Awards
Legal Research
Timelines
ApplevSamsung
ApplevSamsung p.2
ArchiveExplorer
Autozone
Bilski
Cases
Cast: Lawyers
Comes v. MS
Contracts/Documents
Courts
DRM
Gordon v MS
GPL
Grokdoc
HTML How To
IPI v RH
IV v. Google
Legal Docs
Lodsys
MS Litigations
MSvB&N
News Picks
Novell v. MS
Novell-MS Deal
ODF/OOXML
OOXML Appeals
OraclevGoogle
Patents
ProjectMonterey
Psystar
Quote Database
Red Hat v SCO
Salus Book
SCEA v Hotz
SCO Appeals
SCO Bankruptcy
SCO Financials
SCO Overview
SCO v IBM
SCO v Novell
SCO:Soup2Nuts
SCOsource
Sean Daly
Software Patents
Switch to Linux
Transcripts
Unix Books

Gear

Groklaw Gear

Click here to send an email to the editor of this weblog.


You won't find me on Facebook


Donate

Donate Paypal


No Legal Advice

The information on Groklaw is not intended to constitute legal advice. While Mark is a lawyer and he has asked other lawyers and law students to contribute articles, all of these articles are offered to help educate, not to provide specific legal advice. They are not your lawyers.

Here's Groklaw's comments policy.


What's New

STORIES
No new stories

COMMENTS last 48 hrs
No new comments


Sponsors

Hosting:
hosted by ibiblio

On servers donated to ibiblio by AMD.

Webmaster
formally proven correct | 193 comments | Create New Account
Comments belong to whoever posts them. Please notify us of inappropriate comments.
formally proven correct
Authored by: Anonymous on Wednesday, June 12 2013 @ 06:27 PM EDT
Wol,

we're safe, in that the time software could be formally proven correct is well
past. We have come to accept bugs or hidden features as a fact of life, and that
makes remote forensics software so appalling.

Witness the debate regarding state trojan software and it's inevitable back
doors or ways of loading in further functional modules that raged in my home
country. You'd need a proven safe way to store something like a hash of the
currently running forensics program image, along with all currently active
modules, any executable stack and probably a few other things I miss, alongside
any evidence you collect (and that only proves you didn't plant anything in that
particular session - so you need a complete log of all activity). Plus prove you
didn't use the security vulnerability that the trojan was planted by, to upload
what you then find as evidence (just in the clandestine forensics case, not in
the NSA-backdoor-by-law case).

I realize it's hard to prove a negative. I also accept law enforcement agencies
should be given the benefit of doubt there. Intelligence agencies - no way.
Their business is deceit, misdirection and all things below board. That is the
reason why truly democratic nations observe strict separation between law
enforcement and intelligence agencies.

I know I'm beating a dead horse here. I'm just so frustrated that no one heeds
the lessons from the past these days (Nazi Gestapo and GDR Stasi immediately
springs to mind).

-- mschmitz

[ Reply to This | Parent | # ]

Groklaw © Copyright 2003-2013 Pamela Jones.
All trademarks and copyrights on this page are owned by their respective owners.
Comments are owned by the individual posters.

PJ's articles are licensed under a Creative Commons License. ( Details )