From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Google-Smtp-Source: ACJfBotppgY8eYzaG2L48eGVYWVj8WnbyksKSkVKOLgI54WnGyaFmJnWLwV/7K0KmQC3RFaj9TIK ARC-Seal: i=1; a=rsa-sha256; t=1515145893; cv=none; d=google.com; s=arc-20160816; b=qFlLX7bZKxG8ykZsDAo1GR1v+6l0l26k4nJTF7lv18lzUNfvdmDGjpwAN1hoozVtQJ 8yY/GZ46O01IZNGTqyxkzAhXhGmCEIc1htyFXkTwqqvSXWBETiEpFjAQVrmV+jVwp1YY uJiqXDXKVK7afc0/fjf2oJFB4nse6+Jz6+zW70o0D+6Ux2NUU5ILvx/dt+lM9m/rUMxi BBx61gDaaKPRjVirjjM38jmK1T3lgUa9/UII7TgPmvrQtmqrVgcTS5rdMRo82kNOrZui ZP7FlV1H9V8hmkzhPCYcLJUDCWso9Lv7z4oeDQD/gI+gJ6WK4SU9Y8jDAQzy5h5UG2ds jBHQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:subject:to:reply-to:in-reply-to:message-id:from:date :arc-authentication-results; bh=ayd3+TvDqLkHatMqJJdgAFtBGwQsC0lJ0CtcU23NdAA=; b=fQmTbS/4Qh4ajZxS9K9mQsxhkRKU5VhL7RecgZBuu7t5vMdwsUicTyZA4uBozPORKJ XsGoYrgfBVfuAUaNayJVoFoufm/q3rBgop/2fYBykPZehpr8Q3EOQqopENCPQ7VlppjD qh6r+1Y0UfL9gOZ3ydIXFD9uK19zZ66ntcBIfgVlGnQBpLVyd3ajCXlTIL9CSsxl3MCc rjSw5PLtREii16QS7+eV/A7EAisp9vYuGynE2t2vLifrqIfdA9tkvS7BTzttOkxn4Kga T7Lppo04uV2DSujYKMVXJN4xFCAZQb+DbT26DMMgdAeuNbWxkb2/wPxfgFOCZ20k4NYD J89w== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of greg@wind.enjellic.com designates 76.10.64.91 as permitted sender) smtp.mailfrom=greg@wind.enjellic.com Authentication-Results: mx.google.com; spf=pass (google.com: domain of greg@wind.enjellic.com designates 76.10.64.91 as permitted sender) smtp.mailfrom=greg@wind.enjellic.com Date: Fri, 5 Jan 2018 03:50:57 -0600 From: "Dr. Greg Wettstein" Message-Id: <201801050950.w059ov6o004013@wind.enjellic.com> In-Reply-To: Christian Stroetmann "Re: [PATCH v6 00/11] Intel SGX Driver" (Jan 4, 10:20am) Reply-To: greg@enjellic.com X-Mailer: Mail User's Shell (7.2.6-ESD1.0 03/31/2012) To: Christian Stroetmann Subject: Re: [PATCH v6 00/11] Intel SGX Driver Cc: Pavel Machek , Jarkko Sakkinen , platform-driver-x86@vger.kernel.org, x86@kernel.org, linux-kernel@vger.kernel.org, Borislav Petkov , "David S. Miller" , Greg Kroah-Hartman , Grzegorz Andrejczuk , Haim Cohen , Ingo Molnar , Janakarajan Natarajan , Jim Mattson , Kan Liang , "Kirill A. Shutemov" , Kyle Huey , Len Brown , open list:DOCUMENTATION , "open list:FILESYSTEMS (VFS and infrastructure)" , Mauro Carvalho Chehab , Paolo Bonzini , Piotr Luc , Radim Kr??m???? , Randy Dunlap , Sean Christopherson , Thomas Gleixner , Tom Lendacky , Vikas Shivappa X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: =?utf-8?q?1587696854965003493?= X-GMAIL-MSGID: =?utf-8?q?1588745620046677987?= X-Mailing-List: linux-kernel@vger.kernel.org List-ID: On Jan 4, 10:20am, Christian Stroetmann wrote: } Subject: Re: [PATCH v6 00/11] Intel SGX Driver > On the 04.Jan.2018 09:02, Dr. Greg Wettstein wrote: > Aloha I take it from that you are in Hawaii, if you are be glad, it is -27C here. > > AI as we call it.. :-), at a high level, is the notion that an > > operating system platform can be modeled for its intended > > behavior, just as is done for buildings, bridges and airplanes. > > The model is based on a precise mathematical description of the > > set of desired information exchange events that the operating > > system will be allowed to mediate. > So you have artificial intelligence in the operating system > respectively kernel? Artifical intelligence is a broad concept and we debate what that means in the context of our work. We provide a framework for the operating system to deterministically know right from wrong, including the opportunity to act in very granular ways with respect to how to respond if it believes it is being asked to engage in illicit behavior. We can debate semantics of intelligence or continue to lose the information security battle, we fall on the side of trying to build solutions... :-) > What is with machine learning? Mathematically, security behavior can be defined in the contex of a behavioral field into two broad categories; extra-dimensional and intra-dimensional The interface between these two types of behavior is the point where one needs to transition from deterministic to stochastic methodologies. The issues are not dissimilar to multi-scale modeling in the physical world where one transitions from Quantum Mechanical to Newtonian models. We are working to understand how to apply ML techniques to analysis of the stochastic field. Not enough hours in the day though. > Also, you need to ensure that your precise mathematical model is > correct and that your code implements the model in a correct way. No arguement there, although the deterministic model and its implementation are straight forward. > > Autonomous introspection is the notion of the platform using this > > model to monitor and self-regulate its behavior. > This sounds like somekind of a reflective functionality. A further discussion would require a precise definition of 'reflective functionality'. > > Most notably the modeling and control engine have been lifted out > > of the kernel into an SGX enclave. In this architecture the > > kernel cannot act without permission from the enclave based > > engine, which requires the integrity of the enclave to be violated > > in order to compromise the kernel. > This would be ideal with a microkernel based operating system. Interestingly enough, a proposal to implement exactly that, using Linux as a server level process under seL4 was put on DARPA's I2O desk 18 months ago with limited success. I believe it is safe to say there was a conceptualization problem. > > Thanks for the interest. > I think that the others are also interested in this subject matter. It has been an interesting quest to find that but the journey continues. > Regards > Christian Stroetmann Enjoy the warm weather if our opening supposition is correct. Dr. Greg }-- End of excerpt from Christian Stroetmann As always, Dr. G.W. Wettstein, Ph.D. Enjellic Systems Development, LLC. 4206 N. 19th Ave. Specializing in information infra-structure Fargo, ND 58102 development. PH: 701-281-1686 FAX: 701-281-3949 EMAIL: greg@enjellic.com ------------------------------------------------------------------------------ "There are two things that are infinite; Human stupidity and the universe. And I'm not sure about the universe." -- Albert Einstein