Akihiro Sakai

According to our database1, Akihiro Sakai authored at least 7 papers between 2007 and 2011.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Design and Implementation of a Forced Encryption Kernel Module.
Proceedings of the Fifth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2011

2010
Behavior Control Based on Dynamic Code Translation.
Proceedings of the Tenth Annual International Symposium on Applications and the Internet, 2010

2009
Formal Verification for Access Control in Web Information Sharing System.
Proceedings of the Advances in Information Security and Assurance, 2009

2008
Alloy-Based Lightweight Verification for Aspect-Oriented Architecture.
Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

Invalidation of Mailing List Address to Block Spam Mails.
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

2007
An aspect-oriented weaving mechanism based on component and connector architecture.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

An interface mechanism for encapsulating weaving in class-based AOP.
Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, 2007


  Loading...