Operating System based Compliance Validation of Trusted Computing
Journal Title: International Journal of Computer Science and Information Technologies - Year 2010, Vol 1, Issue 5
Abstract
The concept of trusted computing given was by Anderson [2]. Trust is an expectation that a device behaves in a particular manner. A trusted component, operation or process is one whose behavior is predictable under almost any operating condition which is highly resistant to viruses or any physical interference. Trusted computing is one of the key technologies in the field of information security. It is the security solution proposed by TCG [1]. Its core concept is “chain of transitive trust”, which means measurements and authentications are performed level by level based on Roots of Trust to assure the booting process, operating system and applications of a computing platform have executed correctly within users’ expectations. The main idea of trusted computing is to equip computer systems with a device that can be trusted by all. The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the security and the trustworthiness of present and future IT systems. The Trusted computing platform proposes to address the problem of remote trust. The Trusted Computing Platform (TCP) implies some party trusts the platform which is under consideration. The core component of the TCG proposal is the Trusted Platform Module (TPM) [1] providing certain cryptographic functions. Many vendors have already started to equip their platforms with a TPM claiming to be TCG compliant. However, there is no feasible way for application developers and users of TPM-enabled systems to verify the compliance. Compliance test is performed to assess whether a system considered, functions perfectly according to the given specifications. Testing can be very expensive if performed by brute force. Hence, one of the basic approaches for compliance testing is performed by constructing a Finite State Automata which can perform test in an inexpensive manner.
Authors and Affiliations
Madan Singh , Surekha Chauhan
Keywords
Related Articles
- EP ID EP113452
- DOI -
- Views 85
- Downloads 0
Performance issues on AODV and AOMDV for MANETS
One of the main challenges of MANET is the design of robust routing algorithms that adapt to the frequent and randomly changing network topology. A variety of routing protocols have been proposed and...
Detecting Malicious Node in MANET Using Trust Based Cross-Layer Security Protocol
In this paper, we develop a trust based security protocol based on a cross-layer approach which attains confidentiality and authentication of packets in both routing and link layers of MANETs. In the first phase of the p...
Unsupervised Analysis of Arrhythmias using K-means Clustering
The Electrocardiogram provides the valuable information regarding the cardiovascular diseases. Various methods for classification of arrhythmias have been developed by researchers. Classification can be supervised or uns...
Combined Text Watermarking
There is a vast amount of digital text data exchanged over the internet for the past few years. Such exchanges necessitate a very robust copyright protection mechanism. This paper presents a new idea on how one can effec...
Jacobi computation using mobile agent
Physical phenomena occur in a wide range of mathematical applications: from fluid to solid mechanics, electromagnetic and electrical engineering. Engineers working toward an optimized modelling must...