Gwan-Hwan Hwang

According to our database1, Gwan-Hwan Hwang authored at least 59 papers between 1995 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Blockchain-based Automatic Indemnification Mechanism Based on Proof of Violation for Cloud Storage Services.
Proceedings of the ICBCT'20: The 2nd International Conference on Blockchain Technology, 2020

2019
Proof of violation for response time auditing in cloud systems.
J. Supercomput., 2019

Real-time Auditing of the Runtime Environment for Cloud Computing Platforms.
J. Inf. Sci. Eng., 2019

2018
InfiniteChain: A Multi-chain Architecture with Distributed Auditing of Sidechains for Public Blockchains.
Proceedings of the Blockchain - ICBC 2018, 2018

2016
Fulfilling mutual nonrepudiation for cloud storage.
Concurr. Comput. Pract. Exp., 2016

Proof of Violation for Trust and Accountability of Cloud Database Systems.
Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

Efficient Real-Time Auditing and Proof of Violation for Cloud Storage Systems.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

Proof of violation for availability in cloud systems.
Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

2015
A Framework for Cryptography Based Accountability and Service Invocation Control for Service Composition in a Multicloud Architecture.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

2014
A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs.
Softw. Test. Verification Reliab., 2014

A Framework and Language Support for Dynamic Security Policy in Service-Oriented Architecture.
J. Inf. Sci. Eng., 2014

Statement-Coverage Testing for Concurrent Programs in Reachability Testing.
J. Inf. Sci. Eng., 2014

Real-Time Proof of Violation for Cloud Storage.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

2013
State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences.
Sci. Comput. Program., 2013

Chinese Wall Security Model for Workflow Management Systems with Dynamic Security Policy.
J. Inf. Sci. Eng., 2013

A Mutual Nonrepudiation Protocol for Cloud Storage with Interchangeable Accesses of a Single Account from Multiple Devices.
Proceedings of the 12th IEEE International Conference on Trust, 2013

Workflow definition by cloud collaboration.
Proceedings of the 9th IEEE International Conference on Collaborative Computing: Networking, 2013

Scalable and Trustworthy Cross-Enterprise WfMSs by Cloud Collaboration.
Proceedings of the IEEE International Congress on Big Data, 2013

A New Concurrency Control Language for Transactional Process in Service-Oriented Architecture.
Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013

2012
Statement-Coverage Testing for Nondeterministic Concurrent Programs.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Framework for Nonrepudiatable and Scalable Cross-Enterprise Workflow Management Systems in the Cloud.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Workflow-Based Dynamic Access Control in a Service-Oriented Architecture.
Proceedings of the 26th International Conference on Advanced Information Networking and Applications Workshops, 2012

2011
Developing an efficient query system for encrypted XML documents.
J. Syst. Softw., 2011

2010
Supporting Cloud Computing in Thin-Client/Server Computing Model.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2010

Implementing the Chinese Wall Security Model in Workflow Management Systems.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2010

2009
Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs.
Proceedings of the TASE 2009, 2009

A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems.
Proceedings of the TASE 2009, 2009

2008
WSNFS: A Web-Services-Based Network File System.
J. Inf. Sci. Eng., 2008

A Secure Query Language for XML Documents.
J. Inf. Sci. Eng., 2008

The Design and Implementation of Appointed File Prefetching for Distributed File Systems.
J. Res. Pract. Inf. Technol., 2008

2007
The design and implementation of an application program interface for securing XML documents.
J. Syst. Softw., 2007

An Operational Model and Language Support for Securing Web Services.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

XDWfMS: An XML-Based Distributed Workflow Management System.
Proceedings of the 2007 International Conference on Internet Computing, 2007

A Processing Model for the Optimal Querying of Encrypted XML Documents in XQuery.
Proceedings of the Database Technologies 2007. Proceedings of the Eighteenth Australasian Database Conference, 2007

2006
To secure XML documents with the extension function of XSLT.
Softw. Pract. Exp., 2006

Appointed File Prefetching for Distributed File Systems.
Proceedings of the 2006 International Conference on Internet Computing & Conference on Computer Games Development, 2006

Design and Implementation of a Web-Services-Based Network File System.
Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005
A Flexible Failure-Recovery Model for Workflow Management Systems.
Int. J. Cooperative Inf. Syst., 2005

An Application Program Interface for Securing XML Documents.
Proceedings of The 2005 International Conference on Internet Computing, 2005

Design of an Object-Oriented Workflow Management System with Reusable and Fine-Grained Components.
Proceedings of the Groupware: Design, Implementation, and Use, 11th International Workshop, 2005

2004
Correction to 'Technology for Testing Nondeterministic Client/Server Database Applications'.
IEEE Trans. Software Eng., 2004

Technology for Testing Nondeterministic Client/Server Database Applications.
IEEE Trans. Software Eng., 2004

An efficient algorithm for communication set generation of data parallel programs with block-cyclic distribution.
Parallel Comput., 2004

An operational model and language support for securing XML documents.
Comput. Secur., 2004

Using the Extension Function of XSLT and DSL to Secure XML Documents.
Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004

2003
Segmented Alignment: An Enhanced Model to Align Data Parallel Programs of HPF.
J. Supercomput., 2003

Towards Attribute Encryption and a Generalized Encryption Model for XML.
Proceedings of the International Conference on Internet Computing, 2003

A New Language to Support Flexible Failure Recovery for Workflow Management Systems.
Proceedings of the Groupware: Design, Implementation, and Use, 9th International Workshop, 2003

2002
An Efficient Algorithm for Computing Communication Sets for Data Parallel Programs with Block-Cyclic Distribution.
Proceedings of the 31st International Conference on Parallel Processing Workshops (ICPP 2002 Workshops), 2002

sXQuery: A Secure Query Language for XML Documents.
Proceedings of the International Conference on Internet Computing, 2002

2001
Array Operation Synthesis to Optimize HPF Programs on Distributed Memory Machines.
J. Parallel Distributed Comput., 2001

Document Security Language (DSL) and an Efficient Automatic Securing Tool for XML Documents.
Proceedings of the International Conference on Internet Computing, 2001

1999
Communication set generations with CSD calculus and expression-rewriting framework.
Parallel Comput., 1999

1998
A Function-Composition Approach to Synthesize Fortran 90 Array Operations.
J. Parallel Distributed Comput., 1998

An Expression-Rewriting Framework to Generic Communication Sets for HPF Programs with Block-Cyclic Distribution.
Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 1998

1997
Integrating Automatic Data Alignment and Array Operation Synthesis to Optimize Data Parallel Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 1997

1996
Array Operation Synthesis to Optimize HPF Programs.
Proceedings of the 1996 International Conference on Parallel Processing, 1996

1995
Reachability Testing: an Approach to Testing Concurrent Software.
Int. J. Softw. Eng. Knowl. Eng., 1995

An Array Operation Synthesis Scheme to Optimize Fortran 90 Programs.
Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1995


  Loading...