Secure extensible type system for efficient embedded operating system by using metatypes

Bibtex entry :

@inproceedings { ghr-sanso-05,
    author = { G. Grimaud and Y. Hodique and I. Simplot-Ryl },
    title = { Secure extensible type system for efficient embedded operating system by using metatypes },
    booktitle = { SaNSO 2005 },
    year = { 2005 },
    month = { july },
    volume = { 2 },
    pages = { 83-87 },
}