Kiyoshi Yamada

According to our database, Kiyoshi Yamada authored at least 7 papers between 1985 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Certifying assembly with formal security proofs: The case of BBS.

Reynald Affeldt, David Nowak, Kiyoshi Yamada

Sci. Comput. Program., 2012

2009

Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS.

Reynald Affeldt, David Nowak, Kiyoshi Yamada

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

2005

An Aspect-Oriented Approach to Modular Behavioral Specification.

Kiyoshi Yamada, Takuo Watanabe

Proceedings of the First Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, 2005

An Aspect-oriented Approach to Modular Behavioral Specification of Java Components.

Kiyoshi Yamada, Takuo Watanabe

Proceedings of the IASTED International Conference on Software Engineering, 2005

2004

Specifying context-aware runtime security policies using an algebraic policy specification language.

Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou

Proceedings of the IASTED International Conference on Software Engineering, 2004

2003

Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances.

Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou

Proceedings of the 1st IEEE Workshop on Software Technologies for Future Embedded Systems, 2003

1985

Simulation analysis of two adjacent traffic signals.

Kiyoshi Yamada, Tenny N. Lam

Proceedings of the 17th conference on Winter simulation, 1985