An Application of Partial Evaluation of Communicating Processes to System Security

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)15-27
Number of pages13
JournalInternational Journal in Foundations of Computer Science & Technology
Volume2
Issue number4
Publication statusPublished - 2012

Cite this

@article{31bee85aa9774489a3709bf0439d36af,
title = "An Application of Partial Evaluation of Communicating Processes to System Security",
author = "Masaki Murakami",
year = "2012",
language = "English",
volume = "2",
pages = "15--27",
journal = "International Journal in Foundations of Computer Science & Technology",
number = "4",

}

TY - JOUR

T1 - An Application of Partial Evaluation of Communicating Processes to System Security

AU - Murakami, Masaki

PY - 2012

Y1 - 2012

M3 - Article

VL - 2

SP - 15

EP - 27

JO - International Journal in Foundations of Computer Science & Technology

JF - International Journal in Foundations of Computer Science & Technology

IS - 4

ER -