作者: Palpate 時(shí)間: 2025-3-21 20:39
https://doi.org/10.1007/978-3-030-19753-7ion ratio for a large test set of typical JPEG images. The attack is successful because of weaknesses in the model and does not put into question the generalised theoretical framework of model-based steganography. So we discuss possible implications for improved embedding functions.作者: 船員 時(shí)間: 2025-3-22 02:31 作者: Champion 時(shí)間: 2025-3-22 05:51
Breaking Cauchy Model-Based JPEG Steganography with First Order Statistics,ion ratio for a large test set of typical JPEG images. The attack is successful because of weaknesses in the model and does not put into question the generalised theoretical framework of model-based steganography. So we discuss possible implications for improved embedding functions.作者: 新奇 時(shí)間: 2025-3-22 10:04 作者: 完全 時(shí)間: 2025-3-22 14:06
A Formalization of Anonymity and Onion Routing,rmal methods will also become indispensable in this area. Therefore, we propose a formal definition of the notion of anonymity in presence of an observing intruder. We validate this definition by analyzing a well-known anonymity preserving protocol, viz. onion routing.作者: 完全 時(shí)間: 2025-3-22 17:17
https://doi.org/10.1057/9781137449238inistic setting corresponding to a slightly extended Dolev-Yao model. Besides establishing the cryptographic security of the Otway-Rees protocol, our result also exemplifies the potential of this cryptographic library. We hope that it paves the way for cryptographically sound verification of security protocols by means of formal proof tools.作者: 退潮 時(shí)間: 2025-3-23 01:10 作者: 輕信 時(shí)間: 2025-3-23 03:06 作者: 是他笨 時(shí)間: 2025-3-23 09:02 作者: cliche 時(shí)間: 2025-3-23 10:03
Stewart J. Tepper MD,Deborah E. Tepper MDo the fact that a message has been sent and the flow that is due to the actual content of a message. We introduce an equivalence relation on observable events to identify those events an observer cannot distinguish and provide reduction techniques that enable us to prove the security of such systems with the help of exisiting unwinding techniques.作者: 全國(guó)性 時(shí)間: 2025-3-23 14:00 作者: Blood-Clot 時(shí)間: 2025-3-23 21:27
Acute Treatment of Episodic Migrainetrust values. In this work we propose a new vector model of trust. Our model proposes the notion of different degrees of trust, differentiates between trust and distrust and formalizes the dependence of trust on time. We believe that our model will help answer some of the questions posed earlier.作者: Bravado 時(shí)間: 2025-3-23 22:47 作者: 吸引力 時(shí)間: 2025-3-24 02:57
Incorporating Dynamic Constraints in the Flexible Authorization Framework,ropose dynFAF, a constraint logic programming based approach for expressing and enforcing constraints. To make it more concrete, we present our approach as an extension to the . of Jajodia et al.?[17]. We show that dynFAF satisfies standard safety and liveliness properties of a safety conscious software system.作者: VAN 時(shí)間: 2025-3-24 08:00 作者: JAMB 時(shí)間: 2025-3-24 12:15 作者: 最高點(diǎn) 時(shí)間: 2025-3-24 18:48
Security Property Based Administrative Controls,relative to the current configuration. We show that in the case of information flow, and its effects on both integrity and confidentiality, SPACs are implementable, and the necessary administrative approvals exactly determinable.作者: 過(guò)多 時(shí)間: 2025-3-24 20:05 作者: Mechanics 時(shí)間: 2025-3-25 03:01 作者: ADORN 時(shí)間: 2025-3-25 03:42
Incorporating Dynamic Constraints in the Flexible Authorization Framework,ic constraints are enforced during the policy compilation time, and the dynamic constraints are enforced during run time. While there are several logic-based access control policy frameworks, they have a limited power in expressing and enforcing constraints (especially the dynamic constraints). We p作者: 易于交談 時(shí)間: 2025-3-25 08:23 作者: 運(yùn)動(dòng)吧 時(shí)間: 2025-3-25 14:19 作者: 護(hù)身符 時(shí)間: 2025-3-25 16:14 作者: Left-Atrium 時(shí)間: 2025-3-25 22:16
Better Privacy for Trusted Computing Platforms, indeed a trusted hardware device. In turn, This enables two communication partners to establish that the other end is a secure computing platform and hence it is safe exchange data. Both these remote identification protocols provide some degree of privacy to users of the platforms. That is, the com作者: Bph773 時(shí)間: 2025-3-26 02:59 作者: 使人入神 時(shí)間: 2025-3-26 07:52
A Formalization of Anonymity and Onion Routing,lization of other security goals, such as privacy, has received less attention. Due to the increasing importance of privacy in the current society, formal methods will also become indispensable in this area. Therefore, we propose a formal definition of the notion of anonymity in presence of an obser作者: forebear 時(shí)間: 2025-3-26 10:58 作者: glacial 時(shí)間: 2025-3-26 13:20
Comparison Between Two Practical Mix Designs,f simulations which model the algorithms used by these mixing applications. Our simulations are based on actual traffic data obtained from a public anonymous remailer (mix node). We determine that assumptions made in previous literature about the distribution of mix input traffic are incorrect: in p作者: 叢林 時(shí)間: 2025-3-26 18:59
Signature Bouquets: Immutability for Aggregated/Condensed Signatures,Since a service provider is almost never fully trusted, security and privacy of outsourced data are important concerns..This paper focuses on integrity and authenticity issues in outsourced databases. Whenever someone queries a hosted database, the returned results must be demonstrably authentic: th作者: 帶子 時(shí)間: 2025-3-26 23:05
Towards a Theory of Data Entanglement,ata in a way that makes it hard to corrupt the data of any one user without corrupting the data of all users. AONI can be a useful defense against negligent or dishonest storage providers who might otherwise be tempted to discard documents belonging to users without much clout. We show that, if all 作者: 敬禮 時(shí)間: 2025-3-27 03:59
Portable and Flexible Document Access Control Mechanisms, device (e.g., a smart card). While there are significant privacy-preservation advantages to the use of smart cards anonymously created and bought in public places (stores, libraries, etc), a major difficulty is that, for huge data repositories and limited-capacity portable storage devices, it is no作者: 炸壞 時(shí)間: 2025-3-27 05:52
Possibilistic Information Flow Control in the Presence of Encrypted Communication,investigate the flow of information within distributed systems, it has proved to be rather difficult to capture the notion of encrypted channels in such a framework. In this paper, we extend the framework . for possibilistic information flow in order to distinguish between the information flow due t作者: Optometrist 時(shí)間: 2025-3-27 10:07 作者: 珠寶 時(shí)間: 2025-3-27 15:35 作者: MOCK 時(shí)間: 2025-3-27 18:54 作者: somnambulism 時(shí)間: 2025-3-27 22:08
Parameterized Authentication,m. . moves beyond the traditional approach to security by acknowledging that identity verification cannot always produce perfect results. Our model addresses such inherent imperfections by introducing a metric, the Authentication Parameter, that captures the overall ”quality” of authentication. We d作者: Kindle 時(shí)間: 2025-3-28 02:42 作者: Living-Will 時(shí)間: 2025-3-28 09:06 作者: Intersect 時(shí)間: 2025-3-28 14:03
Daciberg Lima Gon?alves,John Guaschion. To circumvent this problem, we identified the subset of well-founded privacy policies which enjoy the property that the result of our algebraic operations can be turned into a coherent privacy policy again. This enables existing privacy policy enforcement mechanisms to deal with our algebraic ex作者: Limited 時(shí)間: 2025-3-28 16:59 作者: 嫻熟 時(shí)間: 2025-3-28 20:44
https://doi.org/10.1057/9781137449238overcomes this drawback using techniques known from group signature schemes. However, it offers less privacy than the one involving the Privacy CA. The reason for this is that the protocol needs to allow the verifier to detect rogue hardware devices while before this detection was done by the Privac作者: insular 時(shí)間: 2025-3-28 23:13 作者: 等待 時(shí)間: 2025-3-29 06:22 作者: Infant 時(shí)間: 2025-3-29 11:08 作者: 寬容 時(shí)間: 2025-3-29 14:49
Diagnosis of Primary Chronic Daily Headachesnsistency and uniform local respect. Finally, we share our experience using nonleakage to analyze the confidentiality properties of the Infineon SLE66 chip..Like Rushby’s, our theory has been developed and checked using a theorem prover, so there is maximal confidence in its rigor and correctness.作者: foliage 時(shí)間: 2025-3-29 15:59 作者: 頂點(diǎn) 時(shí)間: 2025-3-29 23:13 作者: Callus 時(shí)間: 2025-3-30 02:46 作者: Orchiectomy 時(shí)間: 2025-3-30 06:29
Deriving, Attacking and Defending the GDOI Protocol,ts valid security properties, and the derivations of two attacks on it, which display its undesired properties. We also discuss some modifications that eliminate these vulnerabilities. Their derivations suggest proofs of the desired authentication. At the time of writing, we are working together wit作者: Coronary 時(shí)間: 2025-3-30 12:00 作者: Conjuction 時(shí)間: 2025-3-30 14:17 作者: Benign 時(shí)間: 2025-3-30 19:02
Signature Bouquets: Immutability for Aggregated/Condensed Signatures,new valid aggregated signatures from a set of other aggregated signatures. This is an important feature, particularly for outsourced databases, since lack thereof enables a frequent querier to eventually amass enough aggregated signatures to answer other (un-posed) queries, thus becoming a . service作者: 事與愿違 時(shí)間: 2025-3-30 22:32
Portable and Flexible Document Access Control Mechanisms,nstructured and structured collections of documents. For these schemes, we give fast algorithms for efficiently using the limited space available on the card. In our model the customer does not know which documents correspond to false positives, the probability of a randomly chosen document being a 作者: 喪失 時(shí)間: 2025-3-31 04:16
Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage,nsistency and uniform local respect. Finally, we share our experience using nonleakage to analyze the confidentiality properties of the Infineon SLE66 chip..Like Rushby’s, our theory has been developed and checked using a theorem prover, so there is maximal confidence in its rigor and correctness.作者: Nonconformist 時(shí)間: 2025-3-31 05:24
Parameterized Authentication,re and pervasive computing environment in which authentication may be performed using passive and non-intrusive techniques. Our model supports the transparent capture of authentication-relevant information from the environment and provides a foundation for generating dynamic credentials for sources 作者: harangue 時(shí)間: 2025-3-31 10:26
Combinatorial Design of Key Distribution Mechanisms for Wireless Sensor Networks,ly or through a path with high probability. The size of the key-path is the key factor for the efficiency of the design. This paper presents novel, . and . approaches based on . for key distribution. In particular, several . techniques are considered for generating the key-chains and the key-pools..作者: Arrhythmia 時(shí)間: 2025-3-31 14:12
Computer Security - ESORICS 2004978-3-540-30108-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 認(rèn)為 時(shí)間: 2025-3-31 18:59
0302-9743 Overview: 978-3-540-22987-2978-3-540-30108-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 全等 時(shí)間: 2025-4-1 00:59
https://doi.org/10.1007/BFb0095837ic constraints are enforced during the policy compilation time, and the dynamic constraints are enforced during run time. While there are several logic-based access control policy frameworks, they have a limited power in expressing and enforcing constraints (especially the dynamic constraints). We p作者: Mechanics 時(shí)間: 2025-4-1 03:14
https://doi.org/10.1007/BFb0095837d values in an XML document. Many XML database applications call for such node-level access control on concerned nodes at any depth. To perform such node-level access control, current approaches create heavy loads on XML database applications since these approaches incur massive costs either at runt作者: 古代 時(shí)間: 2025-4-1 06:37
Daciberg Lima Gon?alves,John Guaschihe compliance with different privacy policies when several parts of an organization or different enterprises cooperate, it is crucial to have tools at hand that allow for a practical management of varying privacy requirements..We propose an algebra providing various types of operators for composing 作者: 時(shí)代錯(cuò)誤 時(shí)間: 2025-4-1 12:59
https://doi.org/10.1007/978-3-319-00257-6OI, the protocol proposed in IETF RFC 3547 for authenticated key agreement in group communication over IPsec. The difficulties encountered in deriving one of its authentication properties led us to derive an attack that had not surfaced in the previous extensive analyses of this protocol. The deriva
