|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.) |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers  |
CASSIS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.) |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall 0001, Kenneth MacKenzie |
Mobile Resource Guarantees and Policies. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk |
The Design of Application-Tailorable Operating System Product Lines. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani |
Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pichardie |
Modular Proof Principles for Parameterised Concretizations. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher League, Stefan Monnier |
Typed Compilation Against Non-manifest Base Classes. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Zanella Béguelin |
Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Bonelli, Adriana B. Compagnoni, Ricardo H. Medel |
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle |
Romization: Early Deployment and Customization of Java Systems for Constrained Devices. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio A. Ardagna, Marco Cremonini, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati |
The Architecture of a Privacy-Aware Access Control Decision Component. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre |
Mastering Test Generation from Smart Card Software Formal Models. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
boundary testing, smart card standard, formal specifications, functional testing, Automated test generation |
| 1 | Jean-Jacques Vandewalle |
Smart Card Research Perspectives. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Wojciech Mostowski |
Verification of Safety Properties in the Presence of Transactions. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David R. Cok, Joseph Kiniry |
ESC/Java2: Uniting ESC/Java and JML. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Peter Müller 0001, Arnd Poetzsch-Heffter |
A Type System for Checking Applet Isolation in Java Card. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anindya Banerjee 0001, David A. Naumann |
History-Based Access Control and Secure Information Flow. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby |
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana Toma, Dominique Borrione, Ghiath Al Sammane |
Combining Several Paradigms for Circuit Validation and Verification. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel J. Wieringa |
Modelling Mobility Aspects of Security Policies. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chie Noda, Thomas Walter 0001 |
Smart Devices for Next Generation Mobile Services. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Bush, Antony Ng, Douglas N. Simon, Bernd Mathiske |
A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Barnett 0001, K. Rustan M. Leino, Wolfram Schulte |
The Spec# Programming System: An Overview. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall 0001, Stephen Gilmore, Martin Hofmann 0001, Donald Sannella, Ian Stark |
Mobile Resource Guarantees for Smart Devices. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license