Li Gong

The clinicopathologic observation, c-KIT gene mutation and clonal status of gastrointestinal stromal tumor in the sacrum (2009)

Gong, Li, Li, Yan-Hong, Zhao, Hua-Dong, Zhao, Jian-Ye, Zhang, Wei

Abstract Background It is very rare that gastrointestinal stromal tumor (GIST) occurs in the sacrum. Only one case of GIST occuring in the sacral region, with intracranial metastasis, has been...

Reduced expression of N-Myc downstream-regulated gene 2 in human thyroid cancer (2008)

Zhao, Huadong, Zhang, Jian, Lu, Jianguo, He, Xianli, Chen, Changsheng, Li, Xiaojun, ...

Abstract Background NDRG 2 (N-Myc downstream-regulated gene 2) was initially cloned in our laboratory. Previous results have shown that NDRG 2 expressed differentially in normal and cancer tissues....

Human and Humanoid Don’t Match: Consistency Preference and Impact on Users ’ Trust (2008)

Li Gong

Abstract: For many anthropomorphic representations on computer interfaces, there are choices of using mediacaptured human components and using computer-synthesized humanoid counterparts. This applies...

Evolution and Speech Interface (2008)

Clifford Nass, Li Gong

What makes humans different from all other animals? There are few better answers than the ability to produce and recognize speech. Speech is so much a part of being human that people with IQ scores...

The pharmacogenetics and pharmacogenomics knowledge base: accentuating the knowledge (2008)

Hernandez-Boussard, Tina, Whirl-Carrillo, Michelle, Hebert, Joan M., Gong, Li, Owen, Ryan, Gong, Mei, ...

PharmGKB is a knowledge base that captures the relationships between drugs, diseases/phenotypes and genes involved in pharmacokinetics (PK) and pharmacodynamics (PD). This information includes...

Implementing Adaptive Fault-Tolerant Services for Hybrid Faults (2007)

Li Gong, Jack Goldberg

. The two major approaches to building fault-tolerant services are commonly known as the Primary-Backup approach (PB) and the State-Machine approach (SM). PB can tolerate crash and omission faults...

Java^TM SecurityArchitecture (2007)

Jdk Author Li, Li Gong

This document gives an overview of the motivation of the major security features that are being implemented for JDK 1.2, introduces the new classes and their usage, discusses the impact of this new...

To mark (2007)

Roger Needham, Roger Needham, Martín Abadi, Ross Anderson, Jean Bacon, Andrew Birrell, ...

comprising in this compilation are copyright of the respective authors. All rights are reserved. This publication may not be copied, reproduced, published or distributed in whole or in part in any...

Growth and field-emission property of tungsten oxide nanotip arrays (2005)

Zhou, Jun, Gong, Li, Deng, Shao Zhi, Chen, Jun, She, Jun Cong, Xu, Ning Sheng, ...

©2005 American Institute of Physics. The electronic version of this article is the complete one and can be found online at: http://link.aip.org/link/?APPLAB/87/223108/1

User authentication and authorization in the java(tm) platform (1999)

Charlie Lai, Li Gong

Java TM security technology originally focused on creating a safe environment in which to run potentially untrusted code downloaded from the public network. With the latest release of the Java TM...

User Authentication and Authorization in the Java Platform (1999)

Charlie Lai, Li Gong, Larry Koved, Anthony Nadalin, Roland Schemers

Java TM security technology originally focused on creating a safe environment in which to run potentially untrusted code downloaded from the public network. With the latest release of the Java TM...

User authentication and authorization in the java(tm) platform (1999)

Charlie Lai, Li Gong

Java TM security technology originally focused on creating a safe environment in which to run potentially untrusted code downloaded from the public network. With the latest release of the Java TM...

Integrating Security in a Group Oriented Distributed System. (1998)

Reiter, Michael, Birman, Kenneth, Gong, Li

A distributed security architecture is proposed for incorporation into group oriented distributed systems and, in particular, into the Isis distributed programming toolkit. the primary goal of the...

Integrating Security in a Group Oriented Distributed System. (1998)

Reiter, Michael, Birman, Kenneth, Gong, Li

A distributed security architecture is proposed for incorporation into group oriented distributed systems, and in particular, into the Isis distributed programming toolkit. The primary goal of the...

Semantic Interoperation Via Intelligent Mediation. (1998)

Qian, Xiaolei, Gong, Li, Riemenschneider, Robert A.

This effort presents a query mediation approach to the trusted interoperation of autonomous databases containing data that mismatch in semantics, representations, and security policies. The main...

Experience with Secure Multi-Processing in Java (1998)

Dirk Balfanz, Li Gong, A Java

As the Java ¡£¢ platform is the preferred environment for the deployment of network computers, it is appealing to run multiple applications on a single Java-enabled desktop. We experimented with...

Java Security Architecture (JDK1.2) (1998)

Li Gong

This document gives an overview of the motivation of the major security features that are being implemented for JDK 1.2, introduces the new classes and their usage, discusses the impact of this new...

Fail-Stop Protocols: An Approach to Designing Secure Protocols (1998)

Li Gong, Paul Syverson

We present a methodology to facilitate the design and analysis of secure cryptographic protocols. We advocate the general approach, and a new avenue for research, of restricting protocol designs to...

Experience with Secure Multi-Processing in Java (1998)

Dirk Balfanz, Li Gong

As Java TM is the preferred platform for the deployment of network computers, it is appealing to run multiple applications on a single Java desktop. We experimented with using the Java platform as a...

Secure Java Class Loading (1998)

Li Gong, Sun Microsystems

this article, I describe the more finely grained, permission-based

Experience with Secure Multi-Processing in Java (1998)

Dirk Balfanz, Li Gong

As the Java TM platform is the preferred environment for the deployment of network computers, it is appealing to run multiple applications on a single Java-enabled desktop. We experimented with using...

Experience with Secure Multi-Processing in Java (1998)

Dirk Balfanz, Li Gong

As Java TM is the preferred platform for the deployment of network computers, it is appealing to run multiple applications on a single Java desktop. We experimented with using the Java platform as a...

Signing, Sealing, and Guarding Java Objects (1998)

Li Gong, Roland Schemers

Many secure applications are emerging using the Java TM language and running on the Java platform. In dealing with Java security issues, especially when building secure mobile agents on the Java...

Experience with Secure Multi-Processing in Java (1998)

Dirk Balfanz Li, Li Gong

As the Java platform is the preferred environment for the deployment of network computers, it is appealing to run multiple applications on a single Java-enabled desktop. We experimented with using...

Experience with Secure Multi-Processing in Java (1998)

Dirk Balfanz, Li Gong

As the Java platform is the preferred environment for the deployment of network computers, it is appealing to run multiple applications on a single Java-enabled desktop. We experimented with using...

Handling Critical System Requirements in Adaptive Systems. (1997)

Gong, Li, Lunt, Teresa

Computer systems implementing mission-critical applications typically must be capable of adapting to and responding to events and changes in the operational environment. To accomplish this, a system...

Going beyond the sandbox: An overview of the new security architecture in the Java development kit 1.2 (1997)

Li Gong, Marianne Mueller, Hemma Prafullch

This paper describes the new security architecture that has been implemented aspart of JDK1.2, the forthcoming Java TM Development Kit. In going beyond the sandbox security model in the original...

Going beyond the sandbox: An overview of the new security architecture in the Java development kit 1.2 (1997)

Sun Microsystems, Li Gong, Li Gong, Marianne Mueller, Marianne Mueller, Hemma Prafullch, ...

This paper describes the new security architecture that has been implemented aspart of JDK1.2, the forthcoming Java TM Development Kit. In going beyond the sandbox security model in the original...

New Security Architectural Directions for Java (Extended Abstract (1997)

Li Gong

This paper gives an overview of the technical direction of Java in terms of the security architecture and desirable features. It also highlights some of the feasibility constraints on the security...

Secure Software Architectures (1997)

Mark Moriconi, Xiaolei Qian, R. A. Riemenschneider, Li Gong

The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which the various...

Java Security: Present and Near Future (1997)

Li Gong

Windowing Toolkit, a package for building GUIs in Java bytecode verifier Mechanism to verify that Java language constraints are satisfied by the class bytecode class loader Mechanism to dynamically...

Going Beyond the Sandbox: An Overview of the New Security Architecture in the Java Development Kit 1.2 (1997)

Li Gong, Marianne Mueller, Hemma Prafullchandra, Roland Schemers, Sun Microsystems

This paper describes the new security architecture that has been implemented as part of JDK1.2, the forthcoming Java Development Kit. In going beyond the sandbox security model in the original...

Secure Software Architectures (1997)

Mark Moriconi, Xiaolei Qian, R. A. Riemenschneider, Li Gong

The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which the various...

New Security Architectural Directions for Java (Extended Abstract) (1997)

Li Gong

) Li Gong JavaSoft, Cupertino, California gong@eng.sun.com http://java.sun.com/people/gong/ December 19, 1996 Abstract This paper gives an overview of the technical direction of Java in terms of the...

Practical protocols for certified electronic mail (1996)

Robert H. Deng, Li Gong, Aurel A. Lazar, Weiguo Wang

Electronic mail, or e-mail, has brought us a big step closer towards the vision of paperless offices. To advance even closer to this vision, however, it is essential that existing e-mail systems be...

An Empirical Study of Secure MPEG Video Transmissions (1996)

Iskender Agi, Li Gong

MPEG (Moving Pictures Expert Group) is an industrial standard for video processing and is widely used in multimedia applications in the Internet. However, no security provision is specified in the...

Enclaves: Enabling Secure Collaboration over the Internet (1996)

Li Gong

The rapid expansion of the Internet means that users increasingly want to interact with each other. Due to the openness and unsecure nature of the net, users often have to rely on firewalls to...

Enclaves: Enabling Secure Collaboration over the Internet (1996)

Li Gong

The rapid expansion of the Internet means that users increasingly want to interact with each other. Due to the openness and unsecure nature of the net, users often have to rely on firewalls to...

Computational Issues in Secure Interoperation (1996)

Li Gong, Xiaolei Qian

Advances in distributed systems and networking technology have made interoperation not only feasible but also increasingly popular. We define the interoperation of secure systems and its security,...

A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification (1996)

Simon N. Foley, Li Gong, Xiaolei Qian

In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, including high-water...

An empirical study of secure MPEG video transmissions (1996)

Iskender Agi, Li Gong

MPEG (Moving Pictures Expert Group) is an industrial standard for video processing and is widely used in multimedia applications in the Internet. However, no security provision is specified in the...

Practical Protocols For Certified Electronic Mail (1996)

Robert H. Deng, Li Gong, Aurel A. Lazar, Weiguo Wang

: Electronic mail, or e-mail, has brought us a big step closer towards the vision of paperless offices. To advance even closer to this vision, however, it is essential that existing e-mail systems be...

An Empirical Study of Secure MPEG Video Transmission (1996)

I. Agi, Iskender Agi, Li Gong

MPEG (Moving Pictures Expert Group) is an industrial standard for video processing and is widely used in multimedia applications in the Internet. However, no security provision is specified in the...

Adaptive Fault-Resistant Systems (1995)

Jack Goldberg, Li Gong, Ira Greenberg, Raymond Clark, E. Douglas Jensen, Kane Kim, ...

A research team led by SRI International has completed a 1.5 year period of work in adaptive, distributed, fault-resistant systems. This research has been motivated by the increasingly complex and...

Byzantine Agreement with Authentication: Observations and Applications in Tolerating Hybrid and Link Faults (1995)

Li Gong, Patrick Lincoln, John Rushby

We show that the assumptions required of the authentication mechanism in Byzantine agreement protocols that use "signed messages " are stronger than generally realized, and require...

Byzantine Agreement with Authentication: Observations and Applications in Tolerating Hybrid and Link Faults (1995)

Li Gong, Patrick Lincoln, John Rushby

We show that the assumptions required of the authentication mechanism in Byzantine agreement protocols that use "signed messages" are stronger than generally realized, and require more than...

Multicast Security and Its Extension to a Mobile Environment (1995)

Li Gong, Nachum Shacham

this paper, we consider fundamental security issues in building a trusted multicast facility. We discuss techniques for group-based data encryption, authentication of participants, and preventing...

Efficient Network Authentication Protocols: Lower Bounds and Optimal Implementations (1995)

Li Gong

. Research in authentication protocols has focused largely on developing and analyzing protocols that are secure against certain types of attacks. There is little and only scattered discussion on...

Trade-offs in Routing Private Multicast Traffic (1995)

Li Gong, Nachum Shacham

Multicast is a convenient and important mode of communication in internetworks, and there has been a number of studies on efficient routing of multicast traffic. In particular, simulation has been...

Optimal Authentication Protocols Resistant to Password Guessing Attacks (1995)

Li Gong

Users are typically authenticated by their passwords. Because people are known to choose convenient passwords, which tend to be easy to guess, authentication protocols have been developed that...

Fail-Stop Protocols: An Approach to Designing Secure Protocols (1995)

Li Gong, Paul Syverson

We present a methodology to facilitate the design and analysis of secure cryptographic protocols. We advocate the general approach, and a new avenue for research, of restricting protocol designs to...

Securing Causal Relationships in Distributed Systems (1995)

Michael Reiter, Li Gong

In a distributed system, it is often important to detect the causal relationships between events, where event E1 is causally before event E2 if E1 happened before E2 and could possibly have affected...

Enriching the Expressive Power of Security Labels (1995)

Li Gong, Xiaolei Qian

Common security models such as Bell-LaPadula focus on the control of access to sensitive data but leave some important systems issues unspecified, such as the implementation of read-only objects,...

Fail-stop protocols: An approach to designing secure protocols (1995)

Li Gong, Paul Syverson

We present a methodology to facilitate the design and analysis of secure cryptographic protocols. We advocate the general approach, and a new avenue for research, of restricting protocol designs to...

New Protocols for Third-Party-Based Authentication and Secure Broadcast (1994)

Li Gong

. This paper gives Needham-Schroeder style third-party-based authentication and key-distribution protocols that do not use conventional cryptosystems such as DES. The new protocols use polynomial...

Fail-Stop Protocols: An Approach to Designing Secure Protocols (1994)

Li Gong

This paper presents a methodology to facilitate the design and analysis of secure cryptographic protocols. This work is based on a novel notion of a fail-stop protocol, which automatically halts in...

The Complexity and Composability of Secure Interoperation (1994)

Li Gong, Xiaolei Qian

Advances in distributed systems and networking technology have made interoperation not only feasible but also increasingly popular. We define the interoperation of secure systems and its security,...

Elements of Trusted Multicasting (1994)

Li Gong, Nachum Shacham

Multicast is rapidly becoming an important mode of communication as well as a good platform for building group-oriented services. However, to be used for trusted communication, current multicast...

On the Security Effectiveness of Cryptographic Protocols (1994)

Rajashekar Kailar, Virgil D. Gligor, Li Gong

We introduce the notion of security effectiveness, illustrate its use in the context of cryptographic protocol analysis, and argue that it requires analysis of protocol property dependencies. We...

On the Security Effectiveness of Cryptographic Protocols (1994)

Rajashekar Kailar, Virgil D. Gligor, Li Gong

We introduce the notion of security effectiveness, illustrate its use in the context of cryptographic protocol analysis, and argue that it requires analysis of protocol property dependencies. We...

Variations on the Themes of Message Freshness and Replay - or the Difficulty in Devising Formal Methods to Analyze Cryptographic Protocols (1993)

Li Gong

We survey the variations on the choice and the usage of freshness identifiers, and the various forms of replay attack. Besides helping to clarify the important concepts of freshness and replay, this...

Lower Bounds on Messages and Rounds for Network Authentication Protocols (1993)

Li Gong

Research in authentication protocols has largely focused on developing and analyzing protocols that are secure against certain types of attacks. There is little and only scattered discussion on...

Protecting Poorly Chosen Secrets from Guessing Attacks (1993)

Li Gong, T. Mark, Roger M. Needham, Jerome H. Saltzer

In a security system that allows people to choose their own passwords, those people tend to choose passwords that can be easily guessed. This weakness exists in practically all widely used systems....

Preventing Denial and Forgery of Causal Relationships in Distributed Systems (1993)

Michael Reiter, Li Gong

In a distributed system, it is often important to detect the causal relationships between events, where event e 1 is causally before event e 2 if e 1 happened before e 2 and could possibly have...

Increasing Availability and Security of an Authentication Service (1993)

Li Gong

. Authentication is a process by which one satisfies another about one's claim of identity. Typically an authentication server provides the authentication service via an authentication protocol....

Integrating Security in a Group Oriented Distributed System (1992)

Reiter, Michael K., Birman, Kenneth P., Gong, Li

A distributed security architecture is proposed for incorporation into group oriented distributed systems, and in particular, into the Isis distributed programming toolkit. The primary goal of the...

Integrating Security in a Group Oriented Distributed System (1992)

Reiter, Michael K., Birman, Kenneth P., Gong, Li

A distributed security architecture is proposed for incorporation into group oriented distributed systems, and in particular, into the Isis distributed programming toolkit. The primary goal of the...

Integrating Security in a Group Oriented Distributed System (1992)

Michael Reiter, Kenneth Birman, Li Gong

A distributed security architecture is proposed for incorporation into group oriented distributed systems, and in particular, into the Isis distributed programming toolkit. The primary goal of the...

Towards Security in an Open Systems Federation (1992)

John A. Bull, Li Gong, Karen R. Sollins

This paper argues that security design for Open Distributed Processing (ODP) would benefit from a shift of focus from the infrastructure to individual servers as the owners and enforcers of security...

Handling Infeasible Specifications of Cryptographic Protocols (1991)

Li Gong

In the verification of cryptographic protocols along the approach of the logic for authentication by Burrows, Abadi, and Needham, it is possible to write a specification which does not faithfully...

A Security Risk of Depending on Synchronized Clocks (1991)

Li Gong

. Many algorithms or protocols, in particular cryptographic protocols such as authentication protocols, use synchronized clocks and depend on them for correctness. This note describes a scenario...

Cryptographic protocols for distributed systems. (1990)

Gong, Li.

Thesis (Ph. D.)--University of Cambridge, 1990.

A Note on Redundancy in Encrypted Messages (1990)

Li Gong

. In a cryptographic protocol, it is important for a recipient to determine that a message has not been modified during transmission. This is normally achieved by providing redundancy in the message....

Reasoning about Belief in Cryptographic Protocols (1990)

Li Gong, Roger Needham, Raphael Yahalom

Abstract. Analysis methods for cryptographic protocols have often focused on information leakage rather than on seeing whether a protocol meets its goals. Many protocols, however, fall far short of...

A Matrix Key Distribution Scheme (1990)

Li Gong

. A new key distribution scheme is presented. It is based on the distinctive idea that lets each node have a set of keys of which it shares a distinct subset with every other node. This has the...

Reducing Risks from Poorly Chosen Keys (1989)

T. Mark, Mark Lomas, Li Gong, Jerome H. Saltzer, Roger M. Needham

It is well-known that, left to themselves, people will choose passwords that can be rather readily guessed. If this is done, they are usually vulnerable to an attack based on copying the content of...

Using One-Way Functions for Authentication (1989)

Li Gong

Techniques are suggested to construct authentication protocols on a basis of one-way functions rather than encryption algorithms. This approach is thought of interest for several reasons. It appears...

On Security in Capability-Based Systems (1989)

Li Gong

Introduction Hogan in her recent paper [4] presented the requirements and the characteristics of operating systems to realize the principle of complete mediation. She states "the principle of...

A Secure Identity-Based Capability System (1989)

Li Gong

We present the design of an Identity-based CAPability protection system ICAP, which is aimed at a distributed system in a network environment. The semantics of traditional capabilities are modified...

Implementing Protection Domains in the Java Development Kit 1.2 (1988)

Li Gong, Roland Schemers, Sun Microsystems

The forthcoming Java TM Development Kit (JDK1.2) provides fine-grained access control via an easily configurable security policy. In this paper, we describe the design and implementation in JDK1.2 of...

Temperature-Sensitive Transformation by an Abelson Virus Mutant Encoding an Altered SH2 Domain

Mainville, Celine A., Parmar, Kalindi, Unnikrishnan, Indira, Gong, Li, Raffel, Glen D., Rosenberg, Naomi

Abelson murine leukemia virus (Ab-MLV) encodes the v-Abl protein tyrosine kinase and induces transformation of immortalized fibroblast lines and pre-B cells. Temperature-sensitive mutations affecting...

Active Akt and Functional p53 Modulate Apoptosis in Abelson Virus-Transformed Pre-B Cells

Gong, Li, Unnikrishnan, Indira, Raghavan, Anuradha, Parmar, Kalindi, Rosenberg, Naomi

Suppression of apoptosis is an important feature of the Abelson murine leukemia virus (Ab-MLV) transformation process. During multistep transformation, Ab-MLV-infected pre-B cells undergo...

Temperature-Sensitive Transformation by an Abelson Virus Mutant Encoding an Altered SH2 Domain

Mainville, Celine A., Parmar, Kalindi, Unnikrishnan, Indira, Gong, Li, Raffel, Glen D., Rosenberg, Naomi

Abelson murine leukemia virus (Ab-MLV) encodes the v-Abl protein tyrosine kinase and induces transformation of immortalized fibroblast lines and pre-B cells. Temperature-sensitive mutations affecting...

Active Akt and Functional p53 Modulate Apoptosis in Abelson Virus-Transformed Pre-B Cells

Gong, Li, Unnikrishnan, Indira, Raghavan, Anuradha, Parmar, Kalindi, Rosenberg, Naomi

Suppression of apoptosis is an important feature of the Abelson murine leukemia virus (Ab-MLV) transformation process. During multistep transformation, Ab-MLV-infected pre-B cells undergo...

The pharmacogenetics and pharmacogenomics knowledge base: accentuating the knowledge

Hernandez-Boussard, Tina, Whirl-Carrillo, Michelle, Hebert, Joan M., Gong, Li, Owen, Ryan, Gong, Mei, ...

PharmGKB is a knowledge base that captures the relationships between drugs, diseases/phenotypes and genes involved in pharmacokinetics (PK) and pharmacodynamics (PD). This information includes...

Towards Security in an Open Systems Federation

John A Bull, Li Gong, Karen R Sollins

This paper argues that security design for OpenDistributed700 (ODP) would benefit from a shift of focus from the infrastructuretoastructur servers as the owners and enforcers of security policy. It...

Primary malignant melanoma of the liver: A case report

Gong, Li, Li, Yan-Hong, Zhao, Jian-Ye, Wang, Xu-Xia, Zhu, Shao-Jun, Zhang, Wei

Primary malignant melanoma of the liver is an exceedingly rare tumor. Only 12 cases have been reported in the worldwide literature. We present a case of isolated malignant melanoma of the liver...

Clonality and allelotype analyses of focal nodular hyperplasia compared with hepatocellular adenoma and carcinoma

Cai, Yi-Ran, Gong, Li, Teng, Xiao-Ying, Zhang, Hong-Tu, Wang, Cheng-Feng, Wei, Guo-Lian, ...

AIM: To identify clonality and genetic alterations in focal nodular hyperplasia (FNH) and the nodules derived from it.