Verifying the consistency of security policies by abstracting into security types
- Kouichi Ono
- Yuichi Nakamura
- et al.
- 2007
- ICWS 2007
Publications
Date
Featured collections
Popular topics
15 results for Kohichi Ono
Adding authentication to model driven security
- Fumiko Satoh
- Yuichi Nakamura
- et al.
- 2006
- ICWS 2006
A survey of software quality for machine learning applications
- Satoshi Masuda
- Kohichi Ono
- et al.
- 2018
- ICSTW 2018
Coarse-grained simulation method for performance evaluation a of shared memory system
- Ryo Kawahara
- Kenta Nakamura
- et al.
- 2011
- ASP-DAC 2011
Verification of embedded system's specification using collaborative simulation of SysML and simulink models
- Ryo Kawahara
- Hiroaki Nakamura
- et al.
- 2009
- MBSE 2009
Methodology and tools for end-to-end SOA security configurations
- Fumiko Satoh
- Michiaki Tatsubori
- et al.
- 2008
- SERVICES 2008
Model-driven security based on a web services security architecture
- Yuichi Nakamura
- Michiaki Tatsubori
- et al.
- 2005
- SCC 2005
XSLT stylesheet generation by example with WYSIWYG editing
- K. Ono
- T. Koyanagi
- et al.
- 2002
- SAINT 2002
A modeling method for performance evaluation of embedded software by eliminating execution traces
- Kouichi Ono
- Ryo Kawahara
- et al.
- 2011
- Computer Software
A dynamic verification method of executable UML/SysML models with timed-functional constraints
- Kouichi Ono
- Hiroaki Nakamura
- et al.
- 2010
- Computer Software