FR2817363B1 - Verification formelle notamment d'une machine virtuelle securisee - Google Patents
Verification formelle notamment d'une machine virtuelle securiseeInfo
- Publication number
- FR2817363B1 FR2817363B1 FR0015306A FR0015306A FR2817363B1 FR 2817363 B1 FR2817363 B1 FR 2817363B1 FR 0015306 A FR0015306 A FR 0015306A FR 0015306 A FR0015306 A FR 0015306A FR 2817363 B1 FR2817363 B1 FR 2817363B1
- Authority
- FR
- France
- Prior art keywords
- virtual machine
- secure virtual
- formal verification
- formal
- verification
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/44—Encoding
- G06F8/443—Optimisation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/445—Program loading or initiating
- G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Devices For Executing Special Programs (AREA)
Priority Applications (5)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR0015306A FR2817363B1 (fr) | 2000-11-24 | 2000-11-24 | Verification formelle notamment d'une machine virtuelle securisee |
EP01998154A EP1337915A1 (fr) | 2000-11-24 | 2001-11-21 | Verification formelle notamment d'une machine virtuelle securisee |
PCT/FR2001/003656 WO2002044898A1 (fr) | 2000-11-24 | 2001-11-21 | Verification formelle notamment d'une machine virtuelle securisee |
AU2002220813A AU2002220813A1 (en) | 2000-11-24 | 2001-11-21 | Formal verification in particular of a secured virtual machine |
US10/432,248 US20040031025A1 (en) | 2000-11-24 | 2001-11-21 | Formal verification in particular of a secure virtual machine |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR0015306A FR2817363B1 (fr) | 2000-11-24 | 2000-11-24 | Verification formelle notamment d'une machine virtuelle securisee |
Publications (2)
Publication Number | Publication Date |
---|---|
FR2817363A1 FR2817363A1 (fr) | 2002-05-31 |
FR2817363B1 true FR2817363B1 (fr) | 2002-12-27 |
Family
ID=8856926
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
FR0015306A Expired - Fee Related FR2817363B1 (fr) | 2000-11-24 | 2000-11-24 | Verification formelle notamment d'une machine virtuelle securisee |
Country Status (5)
Country | Link |
---|---|
US (1) | US20040031025A1 (fr) |
EP (1) | EP1337915A1 (fr) |
AU (1) | AU2002220813A1 (fr) |
FR (1) | FR2817363B1 (fr) |
WO (1) | WO2002044898A1 (fr) |
Families Citing this family (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
FR2864654B1 (fr) * | 2003-12-30 | 2007-02-23 | Trusted Logic | Procede de determination de caracteristiques operationnelles d'un programme |
US7607011B1 (en) * | 2004-07-16 | 2009-10-20 | Rockwell Collins, Inc. | System and method for multi-level security on a network |
US7730455B2 (en) * | 2004-11-08 | 2010-06-01 | Ntt Docomo, Inc. | Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints |
US9501383B2 (en) | 2013-02-26 | 2016-11-22 | Dominique Bolignano | Method for securing a program |
US9275236B2 (en) * | 2013-06-28 | 2016-03-01 | Dominique Bolignano | Method for securing a program |
US9841972B2 (en) * | 2014-12-17 | 2017-12-12 | Cisco Technology, Inc. | Securing secret information in source code verification and at runtime |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CA2002201C (fr) * | 1988-12-06 | 1999-04-27 | John Charles Goettelmann | Methode de traduction |
US5708431A (en) * | 1995-11-14 | 1998-01-13 | Lucent Technologies Inc. | Method for compression coding of potentially unbounded integers |
US6182268B1 (en) * | 1998-01-05 | 2001-01-30 | Synplicity, Inc. | Methods and apparatuses for automatic extraction of finite state machines |
US6434738B1 (en) * | 1999-04-22 | 2002-08-13 | David Arnow | System and method for testing computer software |
US6553514B1 (en) * | 1999-09-23 | 2003-04-22 | International Business Machines Corporation | Digital circuit verification |
US6467075B1 (en) * | 2000-03-24 | 2002-10-15 | Nec Corporation | Resolution of dynamic memory allocation/deallocation and pointers |
-
2000
- 2000-11-24 FR FR0015306A patent/FR2817363B1/fr not_active Expired - Fee Related
-
2001
- 2001-11-21 US US10/432,248 patent/US20040031025A1/en not_active Abandoned
- 2001-11-21 EP EP01998154A patent/EP1337915A1/fr not_active Withdrawn
- 2001-11-21 WO PCT/FR2001/003656 patent/WO2002044898A1/fr not_active Application Discontinuation
- 2001-11-21 AU AU2002220813A patent/AU2002220813A1/en not_active Abandoned
Also Published As
Publication number | Publication date |
---|---|
EP1337915A1 (fr) | 2003-08-27 |
WO2002044898A1 (fr) | 2002-06-06 |
US20040031025A1 (en) | 2004-02-12 |
AU2002220813A1 (en) | 2002-06-11 |
FR2817363A1 (fr) | 2002-05-31 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
ID30371A (id) | Sistem-sistem permainan yang menggunakan kartu-kartu permainan dan mesin-mesin permainan | |
DE69804915D1 (de) | Musikaktionsspielmaschine | |
ID29554A (id) | Celana dalam sekali pakai jenis celana pendek | |
DE69835738D1 (de) | Spielgerät | |
NO20024982L (no) | Autentisert betaling | |
DE60123920D1 (de) | Handfräsmaschine | |
DE60136462D1 (de) | Geschützte nadel | |
DE60131505D1 (de) | Dynamo-elektrische Maschine | |
ATE290846T1 (de) | Mono- und dialkylquats in haarconditioners | |
DE60028430D1 (de) | Spielvorrichtung | |
FR2819073B1 (fr) | Microarchitecture d'unite arithmetique | |
ID26925A (id) | Inhibitor-inhibitor metalloproteasa hidroksimata pirrolidina yang tersubstitusi | |
DE29816453U1 (de) | Münzbetätigtes Spielgerät | |
FI20002734A0 (fi) | Maksujärjestelmä | |
FR2817363B1 (fr) | Verification formelle notamment d'une machine virtuelle securisee | |
FR2807109B1 (fr) | Element d'injection tri-coaxial | |
DE60123721D1 (de) | Münzeinwickelmaschine | |
ID29007A (id) | Pakaian wanita yang berbentuk mangkuk | |
IT1311221B1 (it) | Macchina lavatrice a carica dall'alto | |
DE60020000D1 (de) | Spielvorrichtung | |
ITBO20000623A0 (it) | Macchina levigatrice | |
IT1311223B1 (it) | Macchina lavatrice a carica dall'alto | |
FI20001646A (fi) | Sovitelma rummun yhteydessõ | |
FR2804049B1 (fr) | Machine d'usinage perfectionnee | |
FR2804664B1 (fr) | Protection d'angle |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
ST | Notification of lapse |
Effective date: 20110801 |