Software Integrity Protection Using Timed ... - Semantic Scholar

Recommend Documents

A Taxonomy of Software Integrity Protection Techniques

CRC32 and hash functions fall under this category of checking mech- anism. ii. ... be verified before execution and executed only if they pass the verifications. vi.

Achieving Authentication and Integrity using ... - Semantic Scholar

MAC â HMAC-SHA-1 with 160 bit keys. 3. Symmetric encryption scheme, AES in Cipher block chaining mode (CBC). After the key agreement protocol has been ...

Software-Implemented EDAC Protection Against ... - Semantic Scholar

protect digital data against errors that may occur in storage media or transmission channels. .... by Software Signatures [19]) to detect the errors. When an error is ...

Software-Implemented EDAC Protection Against ... - Semantic Scholar

fault tolerance, transient error, COTS in space, memory bit-flips. .... the requirements of software EDAC including multiple-bit error correction independent.

Obfuscated Instructions for Software Protection - Semantic Scholar

current hardware-based virtual machines [such as. picoJava, TinyJ, and Xpresso], modern implementations of the x86 instruction set (which translate it into a ...

Software Process Measurements using Software ... - Semantic Scholar

Sep 12, 1999 - Software Configuration Management (SCM) is the controlled way to ... To identify the changes performed in a software system, SCM uses ...

timed distributed systems - Semantic Scholar

(e.g. NTP [22]), time-triggered buses such as TTA or. FlexRay [15], TCP/IP over ..... CORBA-based middleware solution for UAVs. In Fourth In- ternational ...

Priced Timed Automata - Semantic Scholar

technology to optimal scheduling and planning problems. The effort of ..... that they provide a service that tasks can utilize. Traditionally, the .... to the driver salary and in the driving locations there is an added fuel cost. 4.4 Aircraft .... a

integrity paper - Semantic Scholar

Todd Walter, Per Enge and Andrew Hansen. Dept. of Aeronautics and Astronautics ...... and Stochastic Processes,. Singapore, McGraw-Hill Book Co., 1984.

Protocol Analysis using a timed version of SDL - Semantic Scholar

rate_sr REAL := 8.0, /* rate sender => receiver */ rate_ack REAL := 64.0; /* rate for ... the sense that the system will never return to the starting state. Of course, the ...

Timed Circuit Synthesis Using Implicit Methods - Semantic Scholar

Robert A. Thacker Wendy Belluomini. Chris J. Myers. Computer Science Department ...... [8] J. R. Burch. Modeling timing assumptions with trace theory. In ICCD ...

Timed State Space Exploration using POSETS - Semantic Scholar

Wendy Belluomini Chris J. Myers. Abstract| This paper presents a new timing analysis al- ...... 4] J. R. Burch. Modeling timing assumptions with trace theory. In.

Task Graph Scheduling Using Timed Automata - Semantic Scholar

P6. P7. P5. P4. P3. (b). Figure 1. (a) A task graph. (b) A chain cover- ing. tion are described in section 5, followed by possible exten- sions of the model, some of ...

Lightpath Protection using Genetic Algorithm ... - Semantic Scholar

connectivity between two nodes in the network following a failure by mapping ... applications and high speed computer ne

Lightpath Protection using Genetic Algorithm ... - Semantic Scholar

virtual topology onto the physical topology so as to minimize the failure ... applications and high speed computer netwo

High Integrity Elections - Semantic Scholar

This paper describes in detail a voting scheme which allows voters to be sure .... may leave the voting booth is the vote as filled in on the ballot, but nothing else.

Technology Transfer - Software Integrity

Computer Security. Is a Software Problem. Traditional approaches to computer security focused almost exclusively on the

Cooperative Testing of Timed Systems - Semantic Scholar

where Lt is a set of locations containing those marked pass, fail and inconc, which are all the terminal nodes, l0t â Lt is the initial location, Act = Actin âªActout, ...

High Integrity Elections - Semantic Scholar

by you or an election observer, can even check the digital signature revealed on ... Tuinstra [1] describe a scheme that allows a voter to verify that her vote was ...

Testing Embedded Software using Simulated ... - Semantic Scholar

Jan 27, 2006 - testing software-intense embedded systems using simulations of the target ... has always carried the advantage of increased insight and .... state of a system is written to disk. ... There are no limitations as to how machines can be c

Software Engineering Using Artificial Intelligence ... - Semantic Scholar

Techniques: Current State and Open Problems. Hany H Ammar. 1,2 ... relates AI techniques to software engineering processes specified by the IEEE 12207 .... NL descriptions and the data types used in programming languages. In those days ...

Estimating Software Reliability Using Inverse ... - Semantic Scholar

David L. Parnas is with the Communications Research Laboratory, McMaster University, .... (a) Suggest a probability distribution for the length L of the user executions. ...... 12] T.S. Norvell, \On Trace Speci cation," CRL Report 305, NSERC, ...

Automated Software Testing Using Metahurestic ... - Semantic Scholar

Genetic Algorithm (GA), State Transition Testing (STT), Test Data. ... and realistic use of artificial intelligence techniques is software testing [4, 5, 6, 7] and these ...

Software Design Retrieval using Bayesian ... - Semantic Scholar

Reuse enables more efficient development of software systems, because the ..... European Conference on Artificial Intelligence (ECAI'02), Lyon, France, IOS Press, ... Ide, N., Veronis, J.: Introduction to the special issue on word sense ...

Software Integrity Protection Using Timed ... - Semantic Scholar

Download PDF

6 downloads 40715 Views 231KB Size Report

Comment

We present a software scheme for protecting the integrity of computing platforms ..... perform bookkeeping of its client R esponders. Â¤ nlike the. C Â¢ allenger, a R ...

Software Integrity Protection Using Timed Executable Agents Juan A. Garay

Lorenz Huelsbergen

Bell Labs – Lucent Technologies 600 Mountain Ave. Murray Hill, NJ 07974, USA

Bell Labs – Lucent Technologies 600 Mountain Ave. Murray Hill, NJ 07974, USA

[email protected]

[email protected]

ABSTRACT

!" # $$ %& ' (%) '"%* + ", -#.# %& '/0)" 1 2. %& '436517 89/:@?BADC E)8GFIH8KJ#?LM"NKO ?P8K7QNSRUTV