|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31 occurrences of 26 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò |
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David von Oheimb, Sebastian Mödersheim |
ASLan++ - A Formal Security Specification Language for Distributed Systems. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hartmann, Monika Maidl, David von Oheimb, Richard Robinson |
A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes. |
STM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson |
Formal Security Analysis of Electronic Software Distribution Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar |
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David von Oheimb, Jorge Cuéllar |
Designing and Verifying Core Protocols for Location Privacy. |
ISC |
2006 |
DBLP DOI BibTeX RDF |
Geopriv, privacy, model checking, exploration, location information |
| 1 | David von Oheimb |
Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. |
FM |
2006 |
DBLP DOI BibTeX RDF |
security, models, evaluation, software engineering, Formal methods |
| 1 | David von Oheimb |
Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David von Oheimb, Volkmar Lotz, Georg Walter |
Analyzing SLE 88 memory management security using Interacting State Machines. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Security, Smart cards, Memory management, Formal analysis, Isabelle/HOL |
| 1 | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron |
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David von Oheimb |
Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. |
ESORICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David von Oheimb, Volkmar Lotz |
Generic Interacting State Machines and Their Instantiation with Dynamic Features. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Kuhn, David von Oheimb |
Interacting State Machines for Mobility. |
FME |
2003 |
DBLP DOI BibTeX RDF |
dynamic communication, boxed ambients, Interacting State Machines, verification, mobility, mobile agents, formal modeling |
| 1 | David von Oheimb, Georg Walter, Volkmar Lotz |
A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. |
ESORICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David von Oheimb |
Interacting State Machines: A Stateful Approach to Proving Security. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David von Oheimb, Tobias Nipkow |
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited. |
FME |
2002 |
DBLP DOI BibTeX RDF |
Java, Hoare logic, side effects, dynamic binding, Isabelle/HOL, auxiliary variables |
| 1 | David von Oheimb, Volkmar Lotz |
Formal Security Analysis with Interacting State Machines. |
ESORICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David von Oheimb |
Hoare logic for Java in Isabelle/HOL. |
Concurrency and Computation: Practice and Experience |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch |
HOLCF=HOL+LCF. |
J. Funct. Program. |
1999 |
DBLP BibTeX RDF |
|
| 1 | David von Oheimb, Tobias Nipkow |
Machine-Checking the Java Specification: Proving Type-Safety. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David von Oheimb |
Hoare Logic for Mutual Recursion and Local Variables. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion |
| 1 | Tobias Nipkow, David von Oheimb |
Javalight is Type-Safe - Definitely. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 1 | David von Oheimb, Cornelia Pusch |
Java - formal fundiert. |
Java-Informations-Tage |
1998 |
DBLP BibTeX RDF |
|
| 1 | David von Oheimb, Thomas F. Gritzner |
RALL: Machine-Supported Proofs for Relation Algebra. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
interactive and automatic theorem proving, atom structure, Relation algebra, Isabelle |
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")