ȥå   Խ ʬ Хåå ź ʣ ̾ѹ   ñ측 ǽ   إ   ǽRSS

ơ

Last-modified: 2014-02-27 () 13:55:39 (1384d)
Top / ơ

ơ

Τʤץեȥʤ٤ưפ׺뤿ˡˤĤƸ椷Ƥޤ㤨С

  1. ץ˸꤬ʤȤɤΤ᤿褤?
  2. 狼䤹ǻͤ񤱤СȤϼưŪ˥ץǤʤ?ʤ뤤ϡʤ٤ؤˡǥץߥ󥰤Ǥʤ?

Ȥä˺Ǥⶽ̣ޤסŪ͵סưɤǤ

ºݤϡץΡݾڤ뤳ȡסץߥ󥰤Ρưײסּưסʤɤ˴ط뤳ȤǤ⸦ơޤθȹͤƤޤ

researchtopics.png

´ʸ

ʳسȯɽ

  • Lamilla Alvarez & Takata. A formal verification of a subset of information-based access control based on extended weighted pushdown system, IEICE Trans. Inf. & Syst., E97-D(5), 2014, to appear.
  • Lamilla Alvarez & Takata. An HBAC-based approximation for IBAC programs, SIN 2013, 277--281.
  • Takata & Seki. Automatic generation of history-based access control from information flow specification, ATVA 2010, Lecture Notes in Computer Science 6252, 259--275.
  • Takata & Seki. Formal language theoretic approach to the disclosure tree strategy in trust negotiation, IEICE Trans. Inf. & Syst., E92-D(2), 200-210, 2009.
  • , , . ¹˴Ťηǥȸ, D, J91-D(4), 847-858, 2008.
  • Yagi, Takata, & Seki. A labeled transition model A-LTS for history-based aspect weaving and its expressive power, IEICE Trans. Inf. & Syst., E90-D(5), 799--807, 2007.
  • Yagi, Takata, & Seki. A static analysis using tree automata for XML access control, ԥ塼եȥ, 23(3), 51--65, 2006.
  • , ¼, . XMLʸФ륢ӥƥɥ饤Ŭ, D, J89-D(4), 705--715, 2006.

źեե: fileresearchtopics.png 718 [ܺ]