[e-cvs] cvs commit: e/domains/combex/tech darpaBrowser.html edesk.html opportunity.html screen-shots.html
markm@eros.cs.jhu.edu
markm@eros.cs.jhu.edu
Tue, 15 Jan 2002 13:20:50 -0500
markm 02/01/15 13:20:50
Modified: domains/combex/about index.html mgmt.html users.html
value-prop.html
domains/combex/edesk combexSecureDesktop.html
domains/combex/tech darpaBrowser.html edesk.html
opportunity.html screen-shots.html
Log:
formatting
Revision Changes Path
1.2 +16 -15 e/domains/combex/about/index.html
Index: index.html
===================================================================
RCS file: /cvs/e/domains/combex/about/index.html,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- index.html 2002/01/15 18:08:24 1.1
+++ index.html 2002/01/15 18:20:50 1.2
@@ -55,17 +55,17 @@
<p>Combex is a pioneer <font face="Garamond"><font size=3>in the development
of secure distributed computing systems</font></font>. Combex's personnel
<font face="Garamond"><font size=3>represent the vast majority of the
- expertise in the use of the E secure distributed computing platform that
- is the result of over $11M of R&D effort</font></font> expended over
- a six year period.
- <p> Combex is currently using E to develop a prototype capability-secure
- desktop under a research grant from DARPA. The E secure desktop is invulnerable
- to conventional viruses and Trojan horses and provides a level of security
- that surpasses what is possible on the Windows and Unix desktops. A production
- quality version of the prototype would be a critical, high-value asset
- to organizations responsible for meeting uncompromising security requirements,
- such as the CIA, NSA, Department of Defense, and defense contractors working
- for these agencies.
+ expertise in the use of the <b><i>E</i></b> secure distributed computing
+ platform that is the result of over $11M of R&D effort</font></font>
+ expended over a six year period.
+ <p> Combex is currently using <b><i>E</i></b> to develop a prototype capability-secure
+ desktop under a research grant from DARPA. The <b><i>E</i></b> secure
+ desktop is invulnerable to conventional viruses and Trojan horses and
+ provides a level of security that surpasses what is possible on the Windows
+ and Unix desktops. A production quality version of the prototype would
+ be a critical, high-value asset to organizations responsible for meeting
+ uncompromising security requirements, such as the CIA, NSA, Department
+ of Defense, and defense contractors working for these agencies.
<p> It is well known that the weak security provided by current popular
desktops makes the Internet a dangerous place. Even a novice programmer
writing a small amount of code can produce immediate, global consequences.
@@ -73,7 +73,7 @@
It is just as vulnerable to a malicious, destructive attack.
<p> While Combex recognizes the importance of protection from attack, we
have never considered this level of security to be an end in itself. Instead,
- we consider the E secure desktop to demonstrate a critical component of
+ we consider the <b><i>E</i></b> secure desktop to demonstrate a critical component of
the foundation upon which the next generation of software applications
will be built.
<p> We envision a computational world characterized by pervasive cooperation
@@ -82,7 +82,7 @@
transactions and computer-enforced smart contracts, while the ubiquity
of the Internet will enable cooperation at a distance.
<p> This vision will not be realized as long as cooperation and openness
- increase exposure to risk. The E secure desktop demonstrates our commitment
+ increase exposure to risk. The <b><i>E</i></b> secure desktop demonstrates our commitment
to eliminating the risks of cooperation in an environment of limited trust.
<p> The company's objective is simple: Leverage the company's unique knowledge
<font face="Garamond"><font size=3>and experience to become the world's
@@ -92,8 +92,9 @@
<hr>
<p><a href="mgmt.html">Management Team</a></p>
<p><a href="value-prop.html">Value Proposition</a></p>
- <p><a href="users.html">Uses and Users of E Technology</a></p>
- <p>
+ <p><a href="users.html">Uses and Users of <b><i>E</i></b> Technology</a></p>
+ <p> </p>
+ <p>
<!-- #EndEditable --></TD>
<td width="10%" valign="bottom"> </td>
</TR>
1.2 +2 -2 e/domains/combex/about/mgmt.html
Index: mgmt.html
===================================================================
RCS file: /cvs/e/domains/combex/about/mgmt.html,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- mgmt.html 2002/01/15 18:08:24 1.1
+++ mgmt.html 2002/01/15 18:20:50 1.2
@@ -81,9 +81,9 @@
developer of an enterprise-wide intranet application for a Fortune 500
company with extreme security requirements. In this capacity, he witnessed
first-hand the woeful quality of the current tools for building such systems
- in the absence of the E platform (though his project did succeed, and
+ in the absence of the <b><i>E</i></b> platform (though his project did succeed, and
is deployed and used worldwide). Lessons learned from this experience
- caused the company to choose E technology for another major intranet application
+ caused the company to choose <b><i>E</i></b> technology for another major intranet application
with extreme security requirements that was started during deployment
of Mr. Stiegler’s system.
<p>
1.2 +3 -3 e/domains/combex/about/users.html
Index: users.html
===================================================================
RCS file: /cvs/e/domains/combex/about/users.html,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- users.html 2002/01/15 18:08:24 1.1
+++ users.html 2002/01/15 18:20:50 1.2
@@ -53,7 +53,7 @@
<TD><!-- #BeginEditable "LongBody" -->
<p> </p>
<p>
- <p>The E platform has been used to create a significant number of operational
+ <p>The <b><i>E</i></b> platform has been used to create a significant number of operational
prototypes of computing systems. These systems include:</p>
<ul>
<li>
@@ -76,12 +76,12 @@
</ul>
<p>
<p>
- <p>In addition, E technology has been used to create one intranet application
+ <p>In addition, <b><i>E</i></b> technology has been used to create one intranet application
with extreme security requirement for a Fortune 500 company, which has
entered pilot operations.</p>
<p>
<p>Combex has specific knowledge of four small companies and one Fortune
- 500 company using the E platform at this time. Because of the nature of
+ 500 company using the <b><i>E</i></b> platform at this time. Because of the nature of
the Web, we are aware that other E-based undertakings have been started
around the world, though we know little else about them: occasionally
surprising and interesting questions appear on the e-lang discussion list,
1.2 +1 -1 e/domains/combex/about/value-prop.html
Index: value-prop.html
===================================================================
RCS file: /cvs/e/domains/combex/about/value-prop.html,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- value-prop.html 2002/01/15 18:08:24 1.1
+++ value-prop.html 2002/01/15 18:20:50 1.2
@@ -54,7 +54,7 @@
<h2>The Combex Value Proposition</h2>
<p>
<p>Transitioning desktops in organizations with significant security requirements
- to E and CapDesk brings the following benefits: </p>
+ to <b><i>E</i></b> and CapDesk brings the following benefits: </p>
<ul>
<li>
<p>Invulnerability to traditional over-the-wire cyberattack with viruses
1.2 +5 -5 e/domains/combex/edesk/combexSecureDesktop.html
Index: combexSecureDesktop.html
===================================================================
RCS file: /cvs/e/domains/combex/edesk/combexSecureDesktop.html,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- combexSecureDesktop.html 2002/01/15 18:08:24 1.1
+++ combexSecureDesktop.html 2002/01/15 18:20:50 1.2
@@ -58,7 +58,7 @@
of office applications needed for users to start operations: a text editor,
web browser, mail tool, word processor, and spreadsheet. The web browser,
which will be based on the browser already under development for the DARPA
- effort, will support the execution of E <i>caplets</i>, the E variant
+ effort, will support the execution of <b><i>E</i></b> <i>caplets</i>, the <b><i>E</i></b> variant
of the java applet that combines power, flexibility, security, and simplicity
in a fashion not possible for the traditional applet. Power users can
still use their favorite Microsoft application using a VMWare compatibility
@@ -80,7 +80,7 @@
debugger specifically designed to enable the debugging of programs that
run across multiple processors.
<h2>Competition</h2>
- <p>Because the E platform and CapDesk are infrastructure tools, they touch
+ <p>Because the <b><i>E</i></b> platform and CapDesk are infrastructure tools, they touch
on many different aspects of computing. We will deal with the competition
in several segments: competing security technologies, competing distributed
software development technologies, and competing desktops.
@@ -120,7 +120,7 @@
the deepest underpinning layers. To meet the security needs of today’s
extreme-security organizations, and tomorrow’s average user of Web-based
smart contracting, a fundamental change is required: the type of change
- afforded by E and CapDesk.
+ afforded by <b><i>E</i></b> and CapDesk.
<p><b>Distributed Software Development Technologies</b>
<p>The premier languages of the Web today are Java and Perl. Perl is a powerful
string-manipulation language for building short CGI scripts to drive simple
@@ -130,7 +130,7 @@
<p>Java is a serious language for diverse professional purposes, and it
does have a security architecture.
<p align="center"> <img src="images/browser-caplet.gif" name="Graphic4" align=BOTTOM width=800 height=600 border=0>
- <p><i>CapDesk running a Web Browser that has launched an E caplet. Caplets
+ <p><i>CapDesk running a Web Browser that has launched an <b><i>E</i></b> caplet. Caplets
deliver on the promise first made by Java applets: flexible powerful applications
downloaded over the Web that can be run safely on the local machine while
still being centrally maintained. Note the Save button on the Caplet,
@@ -184,7 +184,7 @@
pipes are encrypted </p>
</ul>
<p>In a very important sense, Java should not be looked upon as a competitor.
- The E platform runs on top of the Java Virtual Machine; all E programs
+ The <b><i>E</i></b> platform runs on top of the Java Virtual Machine; all <b><i>E</i></b> programs
are 100% Pure Java according to the definition promulgated by JavaSoft.
<h2> </h2>
<!-- #EndEditable --></TD>
1.2 +40 -40 e/domains/combex/tech/darpaBrowser.html
Index: darpaBrowser.html
===================================================================
RCS file: /cvs/e/domains/combex/tech/darpaBrowser.html,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- darpaBrowser.html 2002/01/15 18:08:25 1.1
+++ darpaBrowser.html 2002/01/15 18:20:50 1.2
@@ -51,26 +51,26 @@
<TD WIDTH="10%"> </TD>
<TD><!-- #BeginEditable "LongBody" -->
<h1>Executive Summary </h1>
- <p>Using the capability-secure open-source E programming language, and the
+ <p>Using the capability-secure open-source <b><i>E</i></b> programming language, and the
Combex-proprietary Capability Windowing Toolkit (capWT), Combex will develop
a capability secure Web browser: the HTML rendering engine for the browser
will be capability confined [<a href="#Lampson1973">Lampson1973</a>, <a href="#Lampson1973">Shap2000</a>]
so that it may not compromise any part of the system, not even the field
in the browser which displays the URL.
- <p>The browser will be run on an "E Language Machine". The E Language
+ <p>The browser will be run on an "E Language Machine". The <b><i>E</i></b> Language
Machine is a capability secure, trustworthy platform, built on a Sanitized
Linux: a Linux from which everything has been stripped that is not needed
- to support the E Language Machine. In particular, all the services normally
+ to support the <b><i>E</i></b> Language Machine. In particular, all the services normally
associated with Linux (terminal services, network services above the TCP/IP
- stack, etc.) will be removed, eliminating risk of compromise. The E Language
+ stack, etc.) will be removed, eliminating risk of compromise. The <b><i>E</i></b> Language
Machine will be a fully functional computing system, but, besides the
- TCB, only programs written in E and confined as caplets (capability-secured
+ TCB, only programs written in <b><i>E</i></b> and confined as caplets (capability-secured
applications) will be permitted to execute.
<p>Combex will supply 2 rendering engines. A Benign Renderer will underpin
the web browser for traditional browsing purposes. A Malicious Renderer
will, when loaded, relentlessly attempt to escape from its capability
confinement, reporting on its results as it makes attacks.
- <p>Combex was founded by, and is led by, the core developers of the E language
+ <p>Combex was founded by, and is led by, the core developers of the <b><i>E</i></b> language
system and the publicly available applications written in that language.
Bringing the powers of E, E's developers, and the Capability Windowing
Toolkit together in a single focused effort on this contract allows Combex
@@ -115,7 +115,7 @@
running with the Benign Renderer and an early prototype of the Malicious
Renderer. This demo will not include the Sanitized Linux.
<li>8 Month Milestone: Combex will demonstrate a preliminary version of
- the entire E Language Machine running capBrowseFrame and both renderers.
+ the entire <b><i>E</i></b> Language Machine running capBrowseFrame and both renderers.
This system will not yet have been reviewed by our outside consultants,
and will not have been fully tested.
<li>
@@ -134,13 +134,13 @@
<p> Develop the Benign Renderer and the basic Malicious Renderer plug-ins
for capBrowseFrame
<li>
- <p> Develop the Sanitized Linux that underpins the E Language Machine
+ <p> Develop the Sanitized Linux that underpins the <b><i>E</i></b> Language Machine
<li>
<p> Integrate Sanitized Linux, the Java Runtime Environment, and the
- E Interpreter, into the E Language Machine
+ <b><i>E</i></b> Interpreter, into the <b><i>E</i></b> Language Machine
<li>
<p> Load and exercise Securit-Edesk, capWT, capBrowseFrame, and the
- renderers on the E Language Machine
+ renderers on the <b><i>E</i></b> Language Machine
<li>
<p> Test and audit capBrowseFrame's confinement of the renderers
<li>
@@ -156,7 +156,7 @@
explored and alternatives to explored innovations, discussion of their
features, and justification for the design choices made by the research
team, as specified by ATIAS.
- <li> Full source code and binaries for the Sanitized Linux OS, the E Language
+ <li> Full source code and binaries for the Sanitized Linux OS, the <b><i>E</i></b> Language
Virtual Machine and Interpreter, capWT, capBrowseFrame, the Benign Renderer
and the Malicious Renderer. We explicitly note that the sources for
the Java Runtime Environment will <i>not</i> be included due to uncertainties
@@ -167,10 +167,10 @@
of capability systems throughout the industry, and particularly in further
work on capability secure military systems.
<li> One complete computer that, upon boot-up, becomes a capability-secure
- E Language Machine and runs Edesk, the E software development environment
+ <b><i>E</i></b> Language Machine and runs Edesk, the <b><i>E</i></b> software development environment
Ebrowser, and the capBrowseFrame with both the Benign Renderer and the
Malicious Renderer plug-ins.
- <li> Installation manual for turning additional computers into E Language
+ <li> Installation manual for turning additional computers into <b><i>E</i></b> Language
Machines.
</ul>
<h1>Technical Approach and Relevant Capabilities</h1>
@@ -178,12 +178,12 @@
<p>Combex was founded in 1999,to pursue opportunities for capability security
in the financial and software development sectors. Combex is the home
of the world's greatest repository of expertise on the capability-secure,
- open-source E Programming Language. The Chief Technology Officer (CTO)
+ open-source <b><i>E</i></b> Programming Language. The Chief Technology Officer (CTO)
of Combex is Mark Miller, the chief architect and implementor of E, and
- the central coordinator of open source E project. The Chief Operating
+ the central coordinator of open source <b><i>E</i></b> project. The Chief Operating
Officer (COO) of Combex is Marc Stiegler, the developer of over half of
- all publicly available E applications deployed in the world today, and
- author of the book (currently in draft form) E in a Walnut [<a href="#Stiegler2001">Stiegler2001</a>].
+ all publicly available <b><i>E</i></b> applications deployed in the world today, and
+ author of the book (currently in draft form) <b><i>E</i></b> in a Walnut [<a href="#Stiegler2001">Stiegler2001</a>].
In addition, Mr. Stiegler is the chief architect for the Capability Windowing
Toolkit (capWT), a proprietary Combex technology for imposing capability
discipline on mutually suspicious application subsystems that must share
@@ -200,21 +200,21 @@
Virtual Machine (jvm), versions 1.3 and above. The language not only implements
capability security within single-computer applications, it applies capability
security to distributed systems with strong encryption that is built into
- the infrastructure: E programmers are not burdened with security considerations
+ the infrastructure: <b><i>E</i></b> programmers are not burdened with security considerations
for their distributed systems, all communication is automatically encrypted,
and remote computation objects are automatically authenticated. In addition,
- E uses a promise-based architecture for distributed computation, eschewing
+ <b><i>E</i></b> uses a promise-based architecture for distributed computation, eschewing
threads for concurrency control. This eliminates the traditional Sword
of Damocles that hangs over all thread-based programming, the threat of
- deadlock. A particular feature of E critical to the success of this project
+ deadlock. A particular feature of <b><i>E</i></b> critical to the success of this project
is the power to implement <i>caplets</i>, software applications that are
confined by capability discipline even if they share cpu, disk, and memory
resources.
- <p>A more complete description of the specific characteristics of E that
+ <p>A more complete description of the specific characteristics of <b><i>E</i></b> that
make it a "capability secure language" can be found in the References.
Further reading on E's other special and powerful characteristics can
also be found in the References at the end of this proposal.
- <p>Though E is missing several features needed for a version 1.0 release,
+ <p>Though <b><i>E</i></b> is missing several features needed for a version 1.0 release,
all implemented features have been proven robust through a series of actual
application development efforts including:
<p align=CENTER> <img src="../edesk/images/3desk.gif" name="Graphic1" align=BOTTOM width=822 height=598 border=0>
@@ -223,7 +223,7 @@
<ul>
<li>Securit-Echat: A capability secure 2-person chat system. This perfectly
serviceable chat system is only 5 pages long, and is used as a tutorial
- for new E programmers.
+ for new <b><i>E</i></b> programmers.
<li> Securit-Edesk: A capability secure point-and-click distributed file
management tool. It blends the functionality of a graphically oriented
file manager (like TkDesk on Linux, or the File Explorer on Windows)
@@ -231,11 +231,11 @@
protocol) and secure connections (as you would get through an SSH connection).
This tool is used on a daily basis in several projects for Fortune 500
companies. A small sample can be seen in Figure 1.
- <li> E Web Server: A small web server that can recognize browser requests
- for URLs which represent E services on a distributed network. Requests
+ <li> <b><i>E</i></b> Web Server: A small web server that can recognize browser requests
+ for URLs which represent <b><i>E</i></b> services on a distributed network. Requests
for these URLs are forwarded to the specified service for fulfillment.
- The E Web Server supplies for E programs a functionality akin to that
- supplied by the Sun Java Web Server for Java servlets, though the E
+ The <b><i>E</i></b> Web Server supplies for <b><i>E</i></b> programs a functionality akin to that
+ supplied by the Sun Java Web Server for Java servlets, though the <b><i>E</i></b>
Web Server directly and inherently supports capability secure distributed
backend functionality.
<li> Combex Marketplace: A capability secures exchange for fungible goods
@@ -247,7 +247,7 @@
<li> Enterprise-Wide Secure Application Prototype: A prototype for a proprietary
Enterprise-wide secure distributed system for a Fortune 500 company.
Work on a limited-deployment version for this system is about to begin,
- and the developers plan to use E technologies for this version as well.
+ and the developers plan to use <b><i>E</i></b> technologies for this version as well.
</ul>
<p>The capWT windowing toolkit is an abstraction layer built on top of the
Java AWT/SWING foundation classes for capability secure gui support. Since
@@ -264,13 +264,13 @@
<h3>Technical Approach</h3>
<p>The basic strategy of development will be to build up an "E Language
Machine" from a "sanitized" Linux OS. This machine will
- be able to run E programs and caplets. It will be a general-purpose computer
+ be able to run <b><i>E</i></b> programs and caplets. It will be a general-purpose computer
in the normal sense of the word, having the full Turing-machine power
- enabled by the E language. But it will be safe from the inadvertent launch
+ enabled by the <b><i>E</i></b> language. But it will be safe from the inadvertent launch
of other Linux applications and services that could compromise the system
- by striking from "below" the E level.
+ by striking from "below" the <b><i>E</i></b> level.
<p align=CENTER><img src="../edesk/images/browser-arch.gif" name="Graphic2" align=BOTTOM width=608 height=530 border=0>
- <p align=CENTER> <b>Figure 2: E Language Machine with Capability secure
+ <p align=CENTER> <b>Figure 2: <b><i>E</i></b> Language Machine with Capability secure
Client</b>
<p>This technical approach is depicted in Figure 1. Starting at the bottom
and working to the top, the components of the system are:
@@ -283,12 +283,12 @@
<li>Java Virtual Machine: When the sanitized Linux boots, it will launch
one Java Virtual Machine. This will be the first and last application
the OS ever launches.
- <li> E Language Interpreter: The Java Virtual Machine will, in turn, launch
- an E interpreter. And that will be the last application the JVM ever
+ <li> <b><i>E</i></b> Language Interpreter: The Java Virtual Machine will, in turn, launch
+ an <b><i>E</i></b> interpreter. And that will be the last application the JVM ever
launches.
<li> Edesk: Edesk will supply a point-and-click interface to the file
system and other system resources. Edesk will be able to launch multiple
- E applications and caplets.
+ <b><i>E</i></b> applications and caplets.
<li>capWT: capWT, as described earlier, is an abstraction layer that supplies
securable gui tools to caplets.
<li>capBrowseFrame: capBrowseFrame is a caplet that receives the basic
@@ -407,7 +407,7 @@
<td width=292>
<p>All known practical security systems are subject to such covert
channel “wall banging” attacks, and the best limitation
- normally attempted is to limit its bandwidth. E addresses instead
+ normally attempted is to limit its bandwidth. <b><i>E</i></b> addresses instead
the other half of the problem, where a true solution is indeed
possible. For the conspiring caplet to read bits from a covert
channel (to “wall listen”), it must have access to a
@@ -461,10 +461,10 @@
according to these criteria include <i>Vulcan</i> for Xerox PARC, <i>Trusty
Scheme</i> for AutoDesk, <i>Joule</i> for Agorics, <i>Tclio/WebMart</i>
for Sun Labs. As noted earlier, Mr. Miller is now the chief architect
- of E and the central coordinator of the open source E project. In this
+ of <b><i>E</i></b> and the central coordinator of the open source <b><i>E</i></b> project. In this
role he not only manages source code, and design and implementation of
future versions of E, he also works to prepare the world for capability
- security in general. Mr. Miller instigated the E Language Discussion group
+ security in general. Mr. Miller instigated the <b><i>E</i></b> Language Discussion group
(<a href="mailto:e-lang@eros-os.org">e-lang@eros-os.org</a>). This email
list supports some of the most invigorating discussions of security taking
place today, with regular participation by people such as Hal Finney,
@@ -489,7 +489,7 @@
the heretofore disjoint research tracks of object-oriented programming,
capability security, and public key cryptography into a coherent whole.
<p><b>Marc Stiegler</b>, the COO of Combex, will be the other Lead Investigator
- on the contract. As noted earlier, Mr. Stiegler is the author of E in
+ on the contract. As noted earlier, Mr. Stiegler is the author of <b><i>E</i></b> in
a Walnut, and chief architect and developer of capWT. Prior to joining
Combex, Mr. Stiegler was VP of Engineering for Communities.com, where
he took on the task of transforming a software development organization
@@ -522,7 +522,7 @@
application in the White House for communication, and in the Bureau of
Land Management for fighting forest fires. A descendant of the DCCS system
was used with great success in Desert Storm.
- <p>In addition to E in a Walnut, Mr. Stiegler was also the lead author of
+ <p>In addition to <b><i>E</i></b> in a Walnut, Mr. Stiegler was also the lead author of
Programming Languages: Featuring the IBM PC and Compatibles, which was
chosen by Byte Magazine in 1986 as one of 20 key books on the PC.
<h1> <a name="refs"></a>References</h1>
1.2 +8 -8 e/domains/combex/tech/edesk.html
Index: edesk.html
===================================================================
RCS file: /cvs/e/domains/combex/tech/edesk.html,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- edesk.html 2002/01/15 18:08:25 1.1
+++ edesk.html 2002/01/15 18:20:50 1.2
@@ -50,7 +50,7 @@
<TR VALIGN="TOP">
<TD WIDTH="10%"> </TD>
<TD><!-- #BeginEditable "LongBody" -->
- <p>The E platform uses <i>capability-based</i> security, which is a software
+ <p>The <b><i>E</i></b> platform uses <i>capability-based</i> security, which is a software
architecture for achieving the Principle of Least Authority (POLA) in
computer systems. POLA is a simple and timeless principle: never grant
anyone or anything more authority than they require. This principle is
@@ -82,7 +82,7 @@
Windows/Unix privileges (right). The confined Browser fails in all attempts
to suborn the computer; the Winix-enabled Browser takes full control.</i></p>
<p>
- <p>With the E platform and the CapDesk capability secure desktop, software
+ <p>With the <b><i>E</i></b> platform and the CapDesk capability secure desktop, software
modules receive no authority by default. Programs started in strict confinement
(a level of confinement far stricter than the confinement of the Java
applet sandbox). They receive authority only through the actions of the
@@ -99,7 +99,7 @@
would look and feel like Windows or KDE, yet would create a secure environment
almost for free.</p>
<p>
- <p> So dramatically different is security as supplied with the E platform,
+ <p> So dramatically different is security as supplied with the <b><i>E</i></b> platform,
it turns the traditional wisdom, “You cannot have security without
paying a price in flexibility” on its head, demonstrating that this
dichotomy is only true when forced to use traditional security strategies.</p>
@@ -113,22 +113,22 @@
options in an integrated fashion not reproduced in any conventional application.
The first operational version of CapDesk was developed by a single programmer
over the course of a month of weekends—a remarkable comment on the
- productivity E provides for secure distributed systems.</i></p>
+ productivity <b><i>E</i></b> provides for secure distributed systems.</i></p>
<p>
- <p>The E platform enhances not only security of individual computers, but
+ <p>The <b><i>E</i></b> platform enhances not only security of individual computers, but
also the security, reliability, maintainability, and development speed
of distributed systems. Peer-to-peer, B2B, and corporate intranet systems
benefit from E’s deadlock-free promise-based distributed computing
architecture, and from the way in which all communication is automatically
and transparently strongly encrypted without programmer effort. The tutorial
- application for first-time learners of E is the eChat peer-to-peer capability
+ application for first-time learners of <b><i>E</i></b> is the eChat peer-to-peer capability
secure chat tool, which is only five pages of code. Anecdotal evidence
- suggests that E can offer developers a productivity improvement somewhere
+ suggests that <b><i>E</i></b> can offer developers a productivity improvement somewhere
between a factor of 3 and a factor of 7 over conventional programming
languages such as Java and Python, within the domain of secure distributed
applications.</p>
<p>
- <p>More information about the E platform can be found </p>
+ <p>More information about the <b><i>E</i></b> platform can be found </p>
<p align="center">in <a href="http://www.skyhunter.com/marcs/ewalnut.html%20"><img src="../papers/images/ewalnut-yellow.gif" width="118" height="120" border="0" align="absmiddle">E
in a Walnut</a> and at <a href="http://www.erights.org/">The
<img src="../images/e-lambda.gif" width="32" height="32" border="0" align="absmiddle">
1.2 +1 -1 e/domains/combex/tech/opportunity.html
Index: opportunity.html
===================================================================
RCS file: /cvs/e/domains/combex/tech/opportunity.html,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- opportunity.html 2002/01/15 18:08:25 1.1
+++ opportunity.html 2002/01/15 18:20:50 1.2
@@ -76,7 +76,7 @@
extreme security requirements, such as the CIA, are so severe that only
those deep in the hearts of such organizations can begin to imagine the
consequences.
- <p>Into this environment Combex™ introduces the E secure distributed
+ <p>Into this environment Combex™ introduces the <b><i>E</i></b> secure distributed
computing platform and the CapDesk capability secure desktop. Extreme security
organizations need our solutions at the earliest possible opportunity.
<p align="left">
1.2 +2 -2 e/domains/combex/tech/screen-shots.html
Index: screen-shots.html
===================================================================
RCS file: /cvs/e/domains/combex/tech/screen-shots.html,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- screen-shots.html 2002/01/15 18:08:25 1.1
+++ screen-shots.html 2002/01/15 18:20:50 1.2
@@ -69,7 +69,7 @@
options in an integrated fashion not reproduced in any conventional application.
The first operational version of CapDesk was developed by a single programmer
over the course of a month of weekends—a remarkable comment on the
- productivity E provides for secure distributed systems.</i></p>
+ productivity <b><i>E</i></b> provides for secure distributed systems.</i></p>
<p>
<hr>
<p align="center"><img src="../edesk/images/eDesk-VMWare.gif" name="Graphic3" align=BOTTOM width=800 height=600 border=0></p>
@@ -79,7 +79,7 @@
<p>
<hr>
<p align="center"> <img src="../edesk/images/browser-caplet.gif" name="Graphic4" align=BOTTOM width=800 height=600 border=0>
- <p><i>CapDesk running a Web Browser that has launched an E caplet. Caplets
+ <p><i>CapDesk running a Web Browser that has launched an <b><i>E</i></b> caplet. Caplets
deliver on the promise first made by Java applets: flexible powerful applications
downloaded over the Web that can be run safely on the local machine while
still being centrally maintained. Note the Save button on the Caplet,