http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Types for Access Control in a Calculus of Mobile Resources
Huttel, H.; Kuhnrich, M. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.3-15
Secured Information Flow for Asynchronous Sequential Processes
Attali, I.; Caromel, D.; Henrio, L.; Del Aguila, F. L. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.17-34
Non-Interference Control Synthesis for Security Timed Automata
Gardey, G.; Mullins, J.; Roux, O. H. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.35-53
Deng, Y.; Palamidessi, C.; Pang, J. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.55-76
On the Expressiveness of Mobile Synchronizing Petri Nets
Rosa-Velardo, F.; de Frutos-Escrig, D.; Marroquin-Alonso, O. ELSEVIER SCIENCE B.V AMSTERDAM 2007 p.77-94