• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.18 no.6B
• /
• pp.219-232
• /
• 2008

A novel idea of protocol security analysis is presented based on trusted freshness. The idea has been implemented not only by hand but also by a belief muitisets formalism for automation. The key of the security analysis based on trusted freshness is a freshness principle: for each participant of a cryptographic protocol, the security of the protocol depends only on the sent or received one-way transformation of a message, which includes a trusted freshness. The manual security analysis method and the belief multisets formalism are all established on the basis of the freshness principle. Security analysis based on trusted freshness can efficiently distinguish whether a message is fresh or not, and the analysis results suggest the correctness of a protocol convincingly or the way to construct attacks intuitively from the absence of security properties. Furthermore, the security analysis based on trusted freshness is independent of the idealization of a protocol, the concrete formalization of attackers' possible behaviors, and the formalization of concurrent runs of protocols.

• Korean Journal of Veterinary Service
• /
• v.46 no.4
• /
• pp.263-268
• /
• 2023

Despite regular vaccinations, equine influenza virus (EIV) and Streptococcus equi subsp. equi (strangles) are the cause of highly contagious respiratory infections in horses. Many recent studies have reported that the concurrent administration of two vaccines could simplify horse management and minimize veterinary expenses. However, there is little information available regarding the efficacy of concurrent vaccinations against EIV and strangles. In this study, we evaluated EIV-specific antibody responses following the single EIV vaccination with the recombinant viral-vectored EIV vaccine or concurrent vaccination with the EIV and inactivated strangles vaccines. Blood samples were collected at 1-, 2-, 4-, and 8 weeks post-immunization (wpi) from each group. EIV-specific antibodies were evaluated by enzyme-linked immunosorbent assay (ELISA) and hemagglutination inhibition (HAI) assay. Both single and concurrent vaccination showed similar levels of EIV-specific serum immunoglobulin g (IgG) at 1 and 2 wpi. However, at 4 to 8 wpi, the EIV-only vaccination group showed significantly higher serum IgG levels than those from the concurrently vaccinated group. The HAI titers showed similar trends as the ELISA data, except at 8 wpi when both groups presented HAI titers with no significant differences. These data demonstrate that the concurrent vaccination against EIV and strangles could compromise the humoral immune response to equine influenza between vaccination intervals, which suggests the use of the consecutive vaccination protocol for EIV and strangles rather than concurrent vaccination.

• Radiation Oncology Journal
• /
• v.34 no.3
• /
• pp.202-208
• /
• 2016

Purpose: Our institution has implemented two different adjuvant protocols in treating patients with non-small cell lung cancer (NSCLC): chemotherapy followed by concurrent chemoradiotherapy (CT-CCRT) and sequential postoperative radiotherapy (PORT) followed by postoperative chemotherapy (POCT). We aimed to compare the clinical outcomes between the two adjuvant protocols. Materials and Methods: From March 1997 to October 2012, 68 patients were treated with CT-CCRT (n = 25) and sequential PORT followed by POCT (RT-CT; n = 43). The CT-CCRT protocol consisted of 2 cycles of cisplatin-based POCT followed by PORT concurrently with 2 cycles of POCT. The RT-CT protocol consisted of PORT followed by 4 cycles of cisplatin-based POCT. PORT was administered using conventional fractionation with a dose of 50.4-60 Gy. We compared the outcomes between the two adjuvant protocols and analyzed the clinical factors affecting survivals. Results: Median follow-up time was 43.9 months (range, 3.2 to 74.0 months), and the 5-year overall survival (OS), locoregional recurrence-free survival (LRFS), and distant metastasis-free survival (DMFS) were 53.9%, 68.2%, and 51.0%, respectively. There were no significant differences in OS (p = 0.074), LRFS (p = 0.094), and DMFS (p = 0.490) between the two protocols. In multivariable analyses, adjuvant protocol remained as a significant prognostic factor for LRFS, favouring CT-CCRT (hazard ratio [HR] = 3.506, p = 0.046) over RT-CT, not for OS (HR = 0.647, p = 0.229). Conclusion: CT-CCRT protocol increased LRFS more than RT-CT protocol in patients with completely resected NSCLC, but not in OS. Further studies are warranted to evaluate the benefit of CCRT strategy compared with sequential strategy.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.7
• /
• pp.2354-2370
• /
• 2015

The advantages of employing SCTP-based Concurrent Multipath Transfer (CMT) have been demonstrated to be very useful for data delivery over multi-homed wireless networks. However, there is still significant ongoing work addressing some remaining limitations and challenges. The most important concern when applying CMT to data delivery is related to handling packet reordering and buffer blocking. Another concern on this topic is that current sender-based CMT solutions seldom consider balancing the overhead and sharing the load between the sender and receiver. This paper proposes a novel Receiver-driven Cooperation-based Concurrent Multipath Transfer solution (CMT-Rev) with the following aims: (i) to balance overhead and share load between the sender and receiver, by moving some functions including congestion and flow control from the sender onto receiver; (ii) to mitigate the data reordering and buffer blocking problems, by using an adaptive receiver-cooperative path aggregation model, (iii) to adaptively transmit packets over multiple paths according to their receiver-inspired sending rate values, by employing a new receiver-aware data distribution scheduler. Simulation results show that CMT-Rev outperforms the existing CMT solutions in terms of data delivery performance.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.11C
• /
• pp.1064-1073
• /
• 2002

In this paper, we design and implement the Wireless Transaction Protocol (WTP) proposed by the Wireless Application Protocol (WAP) forum using a protocol development tool, SDL Development Tool (SDT). And we conduct a comparative performance evaluation of the WTP implementation with other three implementations that are based on different implementation models respectively: the server model, the coroutine model, and the activity-thread model. To implement WTP, we first use Unified Modeling Language (UML) for analyzing the protocol requirement and defining the protocol engine architecture. Next, we use Software Development Language (SDL) to design the protocol engine in details and then generate the WTP implementation automatically with the aid of SDT The code size of the WTP implementation generated by SDT is 62% larger than the other three implementations. However, its throughput and system response time for transaction processing is almost equal to the other three implementations when the number of concurrent clients is less than 3,000. If more than 5,000 concurrent clients tries, the transaction success rate abruptly decreases to 10% and system response time increases to 1,500㎳, due to the increased protocol processing time. But, it comes from the fact that the load overwhelms the capacity of the PC resource used in this experimentation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.439-441
• /
• 2002

Real-time Transport Protocol (RTP) is widely used in VoIP stacks charging the multimedia data delivery. Concerning with payload protection of RTP packets, Secure RTP has been discussed in IETF AVT group to provide confidentiality and authentication features using block ciphering and message authentication coding. However, Secure RTP only concentrates on payload protection. Signcryption is a good candidate for key agreement. This paper proposes a key establishment protocol using Signcryption and shows example implementation of a secure VoIP application based on Secure RTP with the proposed scheme.

• Journal of Korea Spatial Information System Society
• /
• v.2 no.1 s.3
• /
• pp.17-27
• /
• 2000

To build a spatial database from digital maps, it is necessary to rebuild a seamless-map with discrete tile-based digital maps. The sequential merge methods have the disadvantage of degenerating concurrency. In this paper, we consider the implementation of the system based on modified 2PC protocol to retain the concurrent merge. As the engineers share the merge through the system, they can concurrently proceed to merge by negotiation.

• Asian Pacific Journal of Cancer Prevention
• /
• v.15 no.2
• /
• pp.899-904
• /
• 2014

Concurrent chemo-radiation (CRT) has been established as the standard of care for non-metastatic loco-regionally advanced nasopharyngeal carcinoma (NPC) but recently the addition of induction chemotherapy in the already established regimen has presented an attractive multidisciplinary approach. This retrospective study was carried out to evaluate the efficacy of induction chemotherapy (IC) followed by CRT for the management of loco-regionally advanced NPC. Between July 2005 and September 2010, 99 patients were treated with cisplatin based IC followed by CRT. Induction chemotherapy included a 2 drug combination; intravenous gemcitabine $1000mg/m^2$ on day 1 and 8 and cisplatin $75mg/m^2$ on day 1 only. Radiotherapy (RT) was given as a phase treatment to a total dose of 70 Gy in 35 fractions. Concurrent cisplatin ($75mg/m^2$) was administered to all patients on days 1, 22 and 43. All patients were evaluated for tumor response and adverse effects after IC and 6 weeks after the completion of the treatment protocol. Statistical analysis was performed using SPSS version 17 and Kaplan Meier estimates were applied to project survival. Median follow-up duration was 20 months. The 5-year overall survival (OS), loco regional control (LRC) and relapse free survival (RFS) rates were 71%, 73% and 50%respectively. Acute grade 4 toxicity related to induction chemotherapy and concurrent chemo-radiation was 4% and 2% respectively, with only 3 toxicity-related hospital admissions. We conclude that induction gemcitabine and cisplatin followed by chemo-radiation is a safe and effective regimen in management of nasopharyngeal carcinoma, meriting further investigation in randomized clinical trials.

• Proceedings of the IEEK Conference
• /
• 2002.06b
• /
• pp.325-328
• /
• 2002

In this paper, we present a SystemC model of a 32-Bit RISC core wi)ich is based on the ARMTTDMI architecture. The RISC core model was first modeled in C for architecture verification and then refined down to a level that allows concurrent behavior lot hardware timing using the SystcmC class library. It was driven in timed functional level that uses handshake protocol. It was compiled using standard C++ compiler. The functional simulation result was verified by comparing the contents of memory, the result of execution with the result from the ARMulator of ADS(Arm Developer Suite).

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.11
• /
• pp.3070-3076
• /
• 1999

Petri net is one of the effective modeling techniques which analyzes and designs concurrent and asynchronous systems. CPN is an extended Petri net which has color tokens. In this paper, we propose a new test case generation method using CPN. It transforms Estelle Specification into CPN, which is applicable to Design/CPN. It also generates UIO and subtour from OG and descriptor, which are resulted from Design/CPN. Using the proposed method, we can get more improved test coverage than existing methods. Therefore, more effective protocol conformance testing could be conducted. The test case generating method will be the basis of the automatic testing environmented.