Progress from ASDEX Upgrade experiments in preparing the physics basis of ITER operation and DEMO scenario development

An overview of recent results obtained at the tokamak ASDEX Upgrade (AUG) is given. A work flow for predictive profile modelling of AUG discharges was established which is able to reproduce experimental H-mode plasma profiles based on engineering parameters only. In the plasma center, theoretical predictions on plasma current redistribution by a dynamo effect were confirmed experimentally. For core transport, the stabilizing effect of fast ion distributions on turbulent transport is shown to be important to explain the core isotope effect and improves the description of hollow low-Z impurity profiles. The L-H power threshold of hydrogen plasmas is not affected by small helium admixtures and it increases continuously from the deuterium to the hydrogen level when the hydrogen concentration is raised from 0 to 100%. One focus of recent campaigns was the search for a fusion relevant integrated plasma scenario without large edge localised modes (ELMs). Results from six different ELM-free confinement regimes are compared with respect to reactor relevance: ELM suppression by magnetic perturbation coils could be attributed to toroidally asymmetric turbulent fluctuations in the vicinity of the separatrix. Stable improved confinement mode plasma phases with a detached inner divertor were obtained using a feedback control of the plasma β. The enhanced D α H-mode regime was extended to higher heating power by feedback controlled radiative cooling with argon. The quasi-coherent exhaust regime was developed into an integrated scenario at high heating power and energy confinement, with a detached divertor and without large ELMs. Small ELMs close to the separatrix lead to peeling-ballooning stability and quasi continuous power exhaust. Helium beam density fluctuation measurements confirm that transport close to the separatrix is important to achieve the different ELM-free regimes. Based on separatrix plasma parameters and interchange-drift-Alfvén turbulence, an analytic model was derived that reproduces the experimentally found important operational boundaries of the density limit and between L- and H-mode confinement. Feedback control for the X-point radiator (XPR) position was established as an important element for divertor detachment control. Stable and detached ELM-free phases with H-mode confinement quality were obtained when the XPR was moved 10 cm above the X-point. Investigations of the plasma in the future flexible snow-flake divertor of AUG by means of first SOLPS-ITER simulations with drifts activated predict beneficial detachment properties and the activation of an additional strike point by the drifts

Complexity of Checking Freshness of Cryptographic Protocols

Freshness is a central security issue for cryptographic protocols and is the security goal violated by replay attacks. This paper is the first to formally define freshness and its attacks based on role instances and the attacker’s involvement, and is the first work to investigate the complexity of checking freshness. We discuss and prove a series of complexity results of checking freshness in several different scenarios, where the attacker’s behavior is restricted differently, with different bounds on the number of role instances in a run

Overview of ASDEX Upgrade results

The ASDEX Upgrade (AUG) programme is directed towards physics input to critical elements of the ITER design and the preparation of ITER operation, as well as addressing physics issues for a future DEMO design. Since 2015, AUG is equipped with a new pair of 3-strap ICRF antennas, which were designed for a reduction of tungsten release during ICRF operation. As predicted, a factor two reduction on the ICRF-induced W plasma content could be achieved by the reduction of the sheath voltage at the antenna limiters via the compensation of the image currents of the central and side straps in the antenna frame. There are two main operational scenario lines in AUG. Experiments with low collisionality, which comprise current drive, ELM mitigation/suppression and fast ion physics, are mainly done with freshly boronized walls to reduce the tungsten influx at these high edge temperature conditions. Full ELM suppression and non-inductive operation up to a plasma current of I-p = 0.8 MA could be obtained at low plasma density. Plasma exhaust is studied under conditions of high neutral divertor pressure and separatrix electron density, where a fresh boronization is not required. Substantial progress could be achieved for the understanding of the confinement degradation by strong D puffing and the improvement with nitrogen or carbon seeding. Inward/outward shifts of the electron density profile relative to the temperature profile effect the edge stability via the pressure profile changes and lead to improved/decreased pedestal performance. Seeding and D gas puffing are found to effect the core fueling via changes in a region of high density on the high field side (HFSHD). The integration of all above mentioned operational scenarios will be feasible and naturally obtained in a large device where the edge is more opaque for neutrals and higher plasma temperatures provide a lower collisionality. The combination of exhaust control with pellet fueling has been successfully demonstrated. High divertor enrichment values of nitrogen E-N >= 10 have been obtained during pellet injection, which is a prerequisite for the simultaneous achievement of good core plasma purity and high divertor radiation levels. Impurity accumulation observed in the all-metal AUG device caused by the strong neoclassical inward transport of tungsten in the pedestal is expected to be relieved by the higher neoclassical temperature screening in larger devices.Peer reviewe