Research Topics
VICE
Generic Virus Detection & Pattern Generation through Software Emulation
In this thesis we present an approach to detect viruses and generate
virus patterns. Our methodology is a combination of software emulation
and knowledge base. It detects viruses based on their behaviour instead of
relying on pattern matching. Thus, it is more effective than scan (static
or heuristic) against unknown viruses, especially the mutated and polymorphic
ones. The emulator emulates the execution in a simulated environment, and
the knowledge base provides a way of adding new behaviour patterns. Therefore
it is also more flexible than dynamic traps and produces fewer false alarms.
In addition to detecting viruses, emulation provides the additional benefit
of identifying new virus patterns and cleaning.
Internet Information Retrieval Agent
Getting what You Really Want on Internet
The WWW is the most popular system on the Internet, with the user-friendly
interface provided by browsers such as Navigator and IE, more and more
people are doing their information distribution and acquisition via WWW.
However, the rapid growth of the number of homepages on the WWW has made
most people lost in the sea of information. Although some search engines
provide search services to help users, people using the search services
are often disappointed by the large and bad-organized list returned by
these search engines.
We propose several ways trying to solve this problem, such as personal proxy system, HTML retrieval methodology, Group behavior analysis system, and so on.
We propose several ways trying to solve this problem, such as personal proxy system, HTML retrieval methodology, Group behavior analysis system, and so on.
ManHunt
A Web-enabled Information Retrieval System for UNIX On-line Manuals
UNIX is one of the most popular operationg systems in the world. Its on-line
manual system, however, has not changed much since the 70's. In this we
describe a UNIX on-line manual help system called ManHunt.
ManHunt is a Web-enabled system which presents UNIX man pages in hypertext and can be accessed through regular Web browsers. The hyper-links in the hypertext man pages, which are generated automatically by ManHunt, allow the user easy access to related man pages.
The most inconvenient aspect of the conventional UNIX manual help is that one has to know the name of the command in order to access the associated man page. ManHunt allow users to describe the intended operation using natural language, and produces a list of commands related to the description. This makes ManHunt a valuable tool to novice users who are not familiar with UNIX commands.
ManHunt is a Web-enabled system which presents UNIX man pages in hypertext and can be accessed through regular Web browsers. The hyper-links in the hypertext man pages, which are generated automatically by ManHunt, allow the user easy access to related man pages.
The most inconvenient aspect of the conventional UNIX manual help is that one has to know the name of the command in order to access the associated man page. ManHunt allow users to describe the intended operation using natural language, and produces a list of commands related to the description. This makes ManHunt a valuable tool to novice users who are not familiar with UNIX commands.
Theorem Proving
Theorem Proving with Computer Automation
Miscellaneous
We Are Interested on Things Interesting
We have serveral other projects running a the same time. For example, we
are developing a Digital Library System that contains the digitalized
version of NTU Library and Taiwan Anthropology Artifacts.
We also provide the "One Minute Internet Information" for Voice of Taipei, which help all the radio listeners get onto the Internet.
If you have any ideas that is interesting or different with traditional ones, please contact with us and welcome to join us.
We also provide the "One Minute Internet Information" for Voice of Taipei, which help all the radio listeners get onto the Internet.
If you have any ideas that is interesting or different with traditional ones, please contact with us and welcome to join us.