Re: [vox-tech] Security in space!!

2010-12-20 Thread Brian Lavender
Research paper too. http://www.nsa.gov/research/_files/selinux/papers/gconf07-paper.pdf Sorry to keep posting. I just thought it was interesting. brian On Mon, Dec 20, 2010 at 02:56:46PM -0800, Brian Lavender wrote: > Check this out. > > Using GConf as an Example of How to Create an Userspace O

Re: [vox-tech] Security in space!!

2010-12-20 Thread Brian Lavender
Check this out. Using GConf as an Example of How to Create an Userspace Object Manager by James Carter (National Security Agency) http://www.nsa.gov/research/_files/selinux/papers/gconf07-abs.shtml brian On Mon, Dec 20, 2010 at 01:12:36PM -0800, Nicole Carlson wrote: > Also! > > Does Linux supp

Re: [vox-tech] Security in space!!

2010-12-20 Thread Brian Lavender
Do you mean like Bell LaPadula when you say "classification" level? The NSA does research in this area as also promotes the research of formal methods which you could model your system using Z or VDM. http://www.nsa.gov/research/selinux/ Check these slides. http://www.cs.uiuc.edu/class/sp08/cs49

Re: [vox-tech] Security in space!!

2010-12-20 Thread Bill Kendrick
On Mon, Dec 20, 2010 at 12:13:15PM -0800, Nicole Carlson wrote: > Actually, I might be around then, too. You guys have a speaker > planned? Well. Before I get ahead of myself, let me see if I can get > the idea cleared by the Corporate People In Charge Of Clearing Talks. We do have a talk sched

Re: [vox-tech] Security in space!!

2010-12-20 Thread Nicole Carlson
Also! Does Linux support custom metadata? That is, can I create my very own metadata field, like "Classification level", and depend on the filesystem and/or kernel to keep track of it? If so, how? (I suspect that the answer is "no", but am tossing this out there in hopes that someone knows bett

Re: [vox-tech] Security in space!!

2010-12-20 Thread Nicole Carlson
On Mon, Dec 20, 2010 at 12:00 PM, wrote: >> Not physical access--it's hanging out 25,000 miles up in the air--so >> much as information leakage.  The threat has to do with possibly >> classified information leaking out.  Suppose that our hypothetical >> Linux-running satellite processes classifie

Re: [vox-tech] vox-tech Digest, Vol 79, Issue 10

2010-12-20 Thread Bill Kendrick
On Mon, Dec 20, 2010 at 09:02:01AM -0800, Nicole Carlson wrote: > > Trust me--it is DEAD SEXY. If I could give y'all a talk on it, I > would. (Actually, I'm in Davis on 1/12, if you guys want me.) Ooh, our January meeting (our 12th anniversary, too!) is on the 17th. Of course, if you're in Davi

Re: [vox-tech] Security in Space!! [was digest post reply]

2010-12-20 Thread Brian Lavender
On Mon, Dec 20, 2010 at 09:02:01AM -0800, Nicole Carlson wrote: > On Fri, Dec 17, 2010 at 12:00 PM, wrote: > > Message: 2 > > Date: Fri, 17 Dec 2010 11:28:04 -0800 > > From: Bill Broadley > > Subject: Re: [vox-tech] Secure kernel panic > > To: vox-tech@lists.lugod.org > > Message-ID: <4d0bb9c4.7

Re: [vox-tech] vox-tech Digest, Vol 79, Issue 10

2010-12-20 Thread Nicole Carlson
On Fri, Dec 17, 2010 at 12:00 PM, wrote: > Message: 2 > Date: Fri, 17 Dec 2010 11:28:04 -0800 > From: Bill Broadley > Subject: Re: [vox-tech] Secure kernel panic > To: vox-tech@lists.lugod.org > Message-ID: <4d0bb9c4.7090...@broadley.org> > Content-Type: text/plain; charset=ISO-8859-1; format=fl