Inria
Inria.fr
Inria Channel
Previous
There are 51 Results with the keyword : "security"
Demo showroom
Architecture exploration in the aerospace field through synchronous technology
Application for management of energy distribution modes for a satellite in orbit with optimization of its load in survival mode. Performance assessment of embedded systems distributed through synchronous technology.
Keywords:
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > L’exploration d’architecture
Demo showroom
TimeSquare: Functional Specifications based on Logical Time in Model Engineering
TimeSquare is based on the CCSL (Clock Constraint Specification Language) formalism, part of the OMG UML MARTE profile (modeling and analysis of embedded real-time systems). The tool makes it possible to specify logical clocks and associate them with behavioral activations and rates within an embedded system (for example, modeled in UML or SysML). TimeSquare permits the analysis and unification of logical clocks and their heterogeneous times for placement/scheduling of applications on execution platforms.
Keywords:
- UML/SysML
- Security
- Aeronautics
- Space
- Defence
- Embedded systems
- Limited preemption scheduling
- Polychronous languages
- Logical clocks
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > TimeSquare
Demo showroom
Astrée: Proof of Absence of Runtime Errors
Astrée is a static analyzer making it possible to prove the absence of runtime errors in embedded critical C programs. This proof is fully automatic and is carried out at the source code level, with regard to the semantics of the language. Astrée has successfully analyzed industrial-size applications in the aerospace field. The Astrée analyzer was designed and developed within the Abstraction team. It is currently distributed by the company Absint Angewandte Informatik.
Keywords:
- Security
- Aeronautics
- Space
- Defence
- Vérification
- Static analysis
- Embedded critical systems
- Safety
- Qualification
- ABSTRACTION
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Astrée : Preuve d'Absence d'Erreurs à l'Exécution
Demo showroom
Alt-Ergo, automatic proof for critical code certification Project team
Alt-Ergo is software for automatic theorem proving. It is dedicated to the deductive proof of programs, which reduces the correction of a program in relation to its specification with the validity of a logical formula. In particular, Alt-Ergo is at the end of the chain of proof platforms used in avionics. Depending on the complexity of the analyzed codes, there are thousands of formulas that must be proved. Because it is not possible to produce all of these proofs by hand, the use of a tool like Alt-Ergo is crucial for the scaling of this approach.
Keywords:
Home > Innovation > industrial sectors > Software publishing, embedded system > Demos > Alt-Ergo, preuve automatique pour la certification de code critique
Security
Cards
Place : Parc des Expositions - Paris Nord Villepinte
Keywords:
Home > Innovation > Calendar > Cartes & identification
European Research Council 2010
Véronique Cortier: securing protocols
In September 2010, Véronique Cortier, a Senior Research Scientist at the French National Centre for Scientific Research and a member of the CASSIS IPT at Inria Nancy - Grand-Est, has obtained an ERC grant for her project on securing communication protocols and altering them to make them reliable. We went to meet this researcher.
Keywords:
Home > Research > News > Véronique Cortier : sécuriser les protocoles
Telecoms, networks, multimedia
A completely new facility to support cutting-edge computer security work
Located at the heart of the Inria Nancy - Grand-Est centre, the High-Security Computing Laboratory (known by its French acronym LHS) is designed to cater to decisive research work for making networks, Internet exchanges and associated telecommunications equipment safe. The LHS provides the technological and regulatory framework needed for scientific advances that accompany developments in our technological society. Open to industrial partners, the laboratory also represents a favourable opportunity for the reliability tests that are needed before various technological products or solutions can be put on the market.
Keywords:
Home > Centre > Nancy > Innovation > Computer Security Laboratory > Présentation
Telecoms, networks, multimedia
A multi-theme research field involving numerous Inria project-teams
Around 50 Inria research teams are conducting research work connected with computer security, an issue that is central to the work of around 15 of these teams.
Keywords:
Home > Centre > Nancy > Innovation > Computer Security Laboratory > Sécurité informatique
© Inria / Photo Kaksonen
Algorithmics, Programming, Software and Architecture
Providing solutions for more secure exchanges
The Secsi project-team (a joint team with the Specification and Verification Laboratory (LSV), the French National Centre for Scientific Research (CNRS) and the ENS-Cachan) works on verifying cryptographic protocols, such as those used for e-commerce or ATMs, and installing intrusion detection tools in IT systems, so as to alert users to any potentially malicious actions. As three of its members apply for their habilitation to advise doctoral theses, we take a closer look at the research work of this team.
Keywords:
Home > Centre > Saclay > News > Apporter des réponses pour des échanges plus sûrs
Pôle SCS
Conference Cloud computing
Conference Cloud Computing, Security and Trust
SCS Cluster in partnership with Inria, HP and ActiveEon, organizes an intrernational conference about “Cloud computing Security & Trust”.
Place : CPM Gardanne (ENSMSE – Site Georges Charpak)
Keywords:
Home > Centre > Sophia > Calendar > Conférence Cloud Computing, Security and Trust
Inria Research Centers
