DSpace Kochi University of Technology
日本語

Kochi University of Technology Academic Resource Repository >

Browsing by Author TAKATA, Yoshiaki

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 5 of 5
Issue DateTitleAuthor(s)Journal Name
1-May-2009Comparison of the Expressive Power of Language-Based Access Control ModelsTAKATA, Yoshiaki; SEKI, HiroyukiIEICE Transactions on Information and Systems
1-Feb-2009Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust NegotiationTAKATA, Yoshiaki; SEKI, HiroyukiIEICE Transactions on Information and Systems
May-2014A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown SystemLAMILLA ALVAREZ, Pablo; TAKATA, YoshiakiIEICE Transactions on Information and Systems
1-May-2007A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive PowerYAGI, Isao; TAKATA, Yoshiaki; SEKI, HiroyukiIEICE Transactions on Information and Systems
1-Jul-2005Policy Controlled System and Its Model CheckingKUNINOBU, Shigeta; TAKATA, Yoshiaki; NITTA, Naoya; SEKI, HiroyukiIEICE Transactions on Information and Systems
Showing results 1 to 5 of 5

 

Kochi University of Technology Library - Feedback