在浏览器中使用基于JDK1.2的Applet

给出了基于JDK 1．2的Applet在浏览器中使用的方法，并对JavaTM Plug－in的特点、安装与使用方法进行了详细的讨论。

Java虚拟机动态类加载的形式化模型

Java虚拟机支持一种功能很强的动态加载类的机制,它具有惰性加载、类型安全连接、用户自定义加载策略、以及动态名字空间等特性。但是,在Java的早期实现(JDK1.0和1.1)中,这种机制包含了一种称为类型欺骗的严重设计错误。尽管JDK1.2通过引入一种类加载约束策略修正了这个错误,但是由动态加载引起的其它形式的类型欺骗仍然存在于JDK1.2和1.3中。本文详细讨论了与动态类加载相关的类型欺骗问题,提出了一个严格定义Java虚拟机操作语义和静态语义的形式化模型。其中,操作语义描述了类加载约束策略、字段及方法解析算法等类加载的主要特性;静态语义采用类型规修正了JDK1.2和1.3中的类型欺骗。

使用HTTPS编写客户端程序

使用ＨＴＴＰＳ（Ｈｙｐｅｒｔｅｘｔ Ｔｒａｎｓｆｅｒ Ｐｒｏｔｏｃｏｌ Ｓｅｃｕｒｅ安全超文本传输协议）并非你所想的那样简单直接。如果你曾经尝试在Ｊａｖａ客户端和ＨＴＴＰＳ服务器之间进行安全的通讯，也许会注意到标准的ｊａｖａ．ｎｅｔ．ＵＲＬ类并不支持ＨＴＴＰＳ协议．这篇文章将向你展示，如何使用ＪＤＫ１．２－ｃｏｍｐａｔｉｂｌｅ虚拟机或微软的ＪＤＫ１．１－ｃｏｍｐａｔｉｂｌｅ ＪＶｉｅｗ来克服这些限制．

校园IC卡网上应用系统中的Java技术研究

ＩＣ卡在基于Ｗｅｂ的电子商务等领域有着广阔的应用前景。探讨了如何在基于Ｗｅｂ的系统环境中使用Ｊａｖａ技术及其安全体系结构驱动ＩＣ卡．以获得方便安全的网上电子身份识别手段和电子货币功能。

JAVA技术和网络安全

本文概述了 ＪＡＶＡ语言的形成和发展前景，随着 ＩＮＴＥＲＮＥＴ的广泛应用，计算机和网络安全成为日益关注的热点而 ＪＡＶＡ技术在其间扮演着越来越重要的角色，讨论最新 ＪＤＫ１． ２版本ＪＡＶＡ平台的工作机制。