| 1. |
- Fahlander, Per, et al.
(författare)
-
Containment Strategy Formalism in a Probabilistic Threat Modelling Framework
- 2022
-
Ingår i: Proceedings of the 8th international conference on information systems security and privacy (ICISSP). - : Scitepress. ; , s. 108-120
-
Konferensbidrag (refereegranskat)abstract
- Foreseeing, mitigating and preventing cyber-attacks is more important than ever before. Advances in the field of probabilistic threat modelling can help organisations understand their own resilience profile against cyber-attacks. Previous research has proposed MAL, a meta language for capturing the attack logic of a considered domain and running attack simulations in a model that depicts the defended IT-infrastructure. While this modality is already somewhat established for proposing general threat mitigation actions, less is known about how to model containment strategies in the event that penetration already has occurred. The problem is a fundamental gap between predominant threat models in cyber-security research and containment in the incident response lifecycle. This paper presents a solution to the problem by summarizing a methodology for reasoning about containment strategies in MAL-based threat models.
|
|
| 2. |
|
|
| 3. |
- Ganvir, Ashish, 1991-, et al.
(författare)
-
Thermal conductivity in suspension sprayed thermal barrier coatings : Modelling and experiments
- 2016
-
Ingår i: Proceedings of the International Thermal Spray Conference. - : ASM International. ; , s. 368-374
-
Konferensbidrag (refereegranskat)abstract
- Axial Suspension Plasma spraying (ASPS) can generate microstructures with higher porosity and pores in the size range from submicron to nanometre. ASPS Thermal Barrier Coatings (TBCs) have already shown a great potential to produce low thermal conductivity coatings for gas turbine applications. It is important to understand the fundamental relationship between microstructural defects in the coating such as grain boundaries, porosity etc. and thermal conductivity. Object Oriented Finite element analysis (OOF) has been shown to be an effective tool for evaluating thermal conductivity for conventional TBCs as this method is capable of incorporating the inherent microstructure as an input to the model. The objective of this work was to analyse the thermal conductivity of ASPS TBCs using experimental techniques and also to evaluate a procedure where OOF can be used to predict and analyse the thermal conductivity for these coatings. Verification of the model was done using experimental thermal conductivity. Results showed that the varied scaled porosity has a significant influence on the thermal conductivity. Smaller grains, higher overall porosity content and lower columnar density resulted in lower thermal conductivity. It was shown that OOF could be a powerful tool to predict and rank thermal conductivity of ASPS TBCs.
|
|
| 4. |
- Kumar, Ashish, et al.
(författare)
-
Contactless Cost-effective Polarizer for mm-Wave Dielectric Rod Waveguide
- 2022
-
Ingår i: 2022 47TH INTERNATIONAL CONFERENCE ON INFRARED, MILLIMETER AND TERAHERTZ WAVES (IRMMW-THZ 2022). - : Institute of Electrical and Electronics Engineers (IEEE).
-
Konferensbidrag (refereegranskat)abstract
- We present a method to control the polarization of guided waves in a mm-wave dielectric rod waveguide. A pair of optical posts is situated on either side of the waveguide, and this markedly raises the cutoff of the undesired mode. The isolation is 20 dB over a frequency span from (55-87) GHz. This can be viewed as a proof-of-concept for reconfigurable, general-purpose polarization control and dispersion engineering in mm-wave and terahertz-range dielectric waveguides.
|
|
| 5. |
- Raudvere, Tarvo, et al.
(författare)
-
Polynomial abstraction for verification of sequentially implemented combinational circuits
- 2004
-
Ingår i: DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS. - LOS ALAMITOS : IEEE COMPUTER SOC. - 0769520855 ; , s. 690-691
-
Konferensbidrag (refereegranskat)abstract
- Todays integrated circuits with increasing complexity cause the well known state space explosion problem in verification tools. In order to handle this problem a much simpler abstract model of the design has to be created for verification. We introduce the polynomial abstraction technique, which efficiently simplifies the verification task of sequential design blocks whose functionality can be expressed as a polynomial. Through our technique, the domains of possible values of data input signals can be reduced. This is done in such a way that the abstract model is still valid for model checking of the design functionality in terms of the system's control and data properties. We incorporate polynomial abstraction into the ForSyDe methodology, for the verification of clock domain design refinements.
|
|
| 6. |
- Raudvere, Tarvo, et al.
(författare)
-
System level verification of digital signal processing applications based on the polynomial abstraction technique
- 2005
-
Ingår i: ICCAD-2005. - : IEEE. - 078039254X ; , s. 285-290
-
Konferensbidrag (refereegranskat)abstract
- Polynomial abstraction has been developed for data abstraction of sequential circuits, where the functionalily can be expressed as polynomials. The method, based on the fundamental theorem of algebra, abstracts a possibly infinite domain of input values, into a much smaller and finite one, whose size is calculated according to the degree of the respective polynomial. The abstract model preserves the system's control and data properties, which can be verified by model checking. Experiments show that our approach does not only allow an automatic verification, but also gives considerably better results than existing methods.
|
|
| 7. |
- Raudvere, Tarvo, et al.
(författare)
-
The ForSyDe semantics
- 2002
-
Ingår i: Proceedings of Swedish System-on-Chip Conference.
-
Konferensbidrag (refereegranskat)
|
|
| 8. |
|
|
