carnegie-mellon univ pittsburgh pa school of computer science, 2008
We present translations from a logic with indexed lax modalities to first-order intuitionistic logic and intuitionistic linear logic. These translations rely...
carnegie-mellon univ pittsburgh pa school of computer science, 2007
We examine a well known confidentiality requirement called noninterference and argue that many systems do not meet this requirement despite maintaining the...
Publication gouvernementale
Filtrer vos résultats
Opération réussie
L’élément a été sauvegardé.
Opération réussie
Cet élément a été retiré.
Erreur
Vous avez dépassé le nombre maximal de 100 résultats sauvegardés.
Erreur
Impossible de sauvegarder l’élément. Veuillez réessayer. Si le problème persiste, il pourrait y avoir un problème avec l’élément.
Erreur
Impossible de supprimer l’article demandé. Veuillez réessayer plus tard.