At+t Corp.

Lucent Technologies Inc.

Premkumar Thomas Devanbu

Stuart Gerald Stubblebine

A multi-user domain is implemented in a compound document framework to collaboratively modify a compound document in accordance with a concurrency model. A server hosts a multi-user domain in which a plurality of clients participate. The multi-user domain includes a compound document having a shared container part and at least one shared content part. Each participating client can use its own part editors to modify the document. Modification information is sent to the server, which updates the shared document to other clients in accordance with a concurrency model.

System and method for using container documents as multi-user domain clients

A system and method for providing assurance to a host executing a piece of software that the software possesses a particular property. A certifier determines if a piece of software possesses a particular property, and if it does, it cryptographically signs the software, producing a signature. The software and a certificate that includes the signature is then distributed to a host. The host checks the signature. If the signature is valid, then the host is provided with assurance that the software possesses the particular property. If the signature is not valid, then the host is provided with no such assurance.

System and method for providing assurance to a host that a piece of software possesses a particular property

A system and method are provided for using a second resource to store a data element from a first resource in a stack. A data element X,and a signature S&lsqb;N&rsqb; are signed at a first resource to obtain a signature S&lsqb;X,,S&lsqb;N&rsqb;&rsqb;, where N is an integer. The data element X,and the signature S&lsqb;N&rsqb; are sent from the first resource to the second resource to be stored in a stack. The signature S&lsqb;X,,S&lsqb;N&rsqb;&rsqb; is stored at the first resource.

System and method for using a second resource to store a data element from a first resource in a first-in last-out stack

A system and method are provided for storing a data element from a first resource in a queue at a second resource. A combination of a data element X,and a signature S,&equals;S&lsqb;N&rsqb; are signed at a first resource to obtain a signature S&lsqb;X,,S&lsqb;N&rsqb;&rsqb;, where N is an integer. The data element data element X,and the signature S&lsqb;X,,S&lsqb;N&rsqb;&rsqb; are sent from the first resource to the second resource to be stored in the queue at the second resource. The signature S&lsqb;X,,S&lsqb;N&rsqb;&rsqb; is stored at the first resource as the new value for S,.

System and method for using a second resource to store a data element from a first resource in a first-in first-out queue

System and method for providing assurance to a host that a piece of

A system and method are provided for using a second resource to store a data element from a first resource in a stack. A data element X.sub.N+1 and a signature S[N] are signed at a first resource to obtain a signature S[X.sub.N+1, S [N]], where N is an integer. The data element X.sub.N+1 and the signature S[N] are sent from the first resource to the second resource to be stored in a stack. The signature S[X.sub.N+1,S[N]] is stored at the first resource.

System and method for using a second resource to store a data element

A system and method are provided for storing a data element from a first resource in a queue at a second resource. A combination of a data element X.sub.N+1 and a signature S.sub.Q =S[N] are signed at a first resource to obtain a signature S[X.sub.N+1,S[N]], where N is an integer. The data element data element X.sub.N+1 and the signature S[X.sub.N+1,S[N]] are sent from the first resource to the second resource to be stored in the queue at the second resource. The signature S[X.sub.N+1,S[N]] is stored at the first resource as the new value for S.sub.Q.

Techniques for obtaining information about dynamic properties of a first program. The techniques involve making a static analysis of the first program to determine what instrumentation is needed to produce the desired information and then producing a second program which causes a programmable instrumentation apparatus to produce an instrumented version of the first program. The programmable instrumentation apparatus may be a programmable binary editor or a a debugger. Execution of the instrumented program provides the information about the dynamic properties. The program for the instrumentation apparatus is produced by a source code analyzer which statically analyzes the source code. The source code analyzer is in turn produced by a code analyzer generator. Output from the instrumentation may be provided to a graphical display system. In one use of the techniques, the code analyzer generator not only generates a source code analyzer for producing the second program, but also a source code analyzer for producing a program which when executed by a graphical browser makes a flow graph for the program. In this case, the graphical browser responds to the output from the execution environment by altering the appearance of the flow graph.

Determining dynamic properties of programs

Techniques for obtaining information about dynamic properties of a program. The techniques involve programming a programmable execution environment such as a debugger so that when the program is executed in the execution environment, side effects of the execution provide the information about the dynamic properties. The program for the execution environment is produced by a source code analyzer which statically analyzes the source code. The source code analyzer is in turn produced by a code analyzer generator. Output from the execution environment may be provided to a graphical display system. In one use of the techniques, the code analyzer generator not only generates a source code analyzer for producing the program for the execution environment, but also a source code analyzer for producing a program which when executed by a graphical browser makes a flow graph for the program. In this case, the graphical browser responds to the output from the execution environment by altering the appearance of the flow graph.

Apparatus for discovering information about the source code of a computer program. The apparatus includes a translator for translating a parse tree produced for the program's language in a specific programming environment into an independent parse tree and an analyzer for analyzing the independent parse tree to discover the information. The translator is generated by a translator generator from a specification for the language and the programming environment and the analyzer is generated by an analyzer generator from a specification of the information to be discovered. The specification of the information to be discovered may specify only methods of analysis which can be completed in polynomial time. Methods of using the apparatus are also disclosed.

Growing community of inventors

Davis, CA, United States of America

Premkumar Thomas Devanbu