作者: 激勵(lì) 時(shí)間: 2025-3-21 22:46 作者: JADED 時(shí)間: 2025-3-22 03:24 作者: 蒸發(fā) 時(shí)間: 2025-3-22 06:31
Catalina Cleves M.D.,A. David Rothner M.D. the basis of data location or value in an XML document is therefore essential. However, current approaches to efficient access control over XML documents have suffered from scalability problems because they tend to work on individual documents. To resolve this problem, we proposed a table-based app作者: 滔滔不絕的人 時(shí)間: 2025-3-22 09:01 作者: Entirety 時(shí)間: 2025-3-22 13:51
Treatment of Medication Overuse Headacheplatform for component-based software and systems, Java security is playing a key role in enterprise systems. The major drawback in the security support provided by J2EE and J2SE is the absence of a standard way to support instance level access control. JAAS does provide some help, but it is not wit作者: Entirety 時(shí)間: 2025-3-22 20:36 作者: 健壯 時(shí)間: 2025-3-23 00:51
Catalina Cleves M.D.,A. David Rothner M.D.in the context of enforcing access control policies in a mobile data object environment. There are a number of applications that call for fine-grained specification of security policies in guaranteeing the confidentiality of data or privacy of individuals in a mobile environment. In particular, the 作者: Overstate 時(shí)間: 2025-3-23 04:42
https://doi.org/10.1007/978-3-658-24376-0ssing requirements from the domain of data protection necessitates extending this notion with conditions that relate to the future. Obligations, in this sense, are concerned with commitments of the involved parties. At the moment of granting access, adherence to these commitments cannot be guarantee作者: hedonic 時(shí)間: 2025-3-23 09:14 作者: Fissure 時(shí)間: 2025-3-23 09:52 作者: 笨重 時(shí)間: 2025-3-23 16:41
R. Lindsay,D. M. Hart,H. Abdalla,D. Dempsters authorized semi-trusted censors to modify – in a limited and controlled fashion – parts of a signed message without interacting with the original signer. We present constructions for this new primitive, based on standard signature schemes and secure under common cryptographic assumptions. We also 作者: Heresy 時(shí)間: 2025-3-23 19:17
Sonja M. McKinlay,John B. McKinlayecurity protocols. Recently significant progress was made in proving that Dolev-Yao models can be sound with respect to actual cryptographic realizations and security definitions. The strongest results show this in the sense of reactive simulatability/UC, a notion that essentially means the preserva作者: Pamphlet 時(shí)間: 2025-3-23 23:40
https://doi.org/10.1007/978-94-009-4145-8implementations of these protocols lack the same level of attention and thus may be more exposed to attacks. This paper discusses security assurance provided by security-typed languages when implementing cryptographic protocols. Our results are based on a case study using Jif, a Java-based security-作者: Overthrow 時(shí)間: 2025-3-24 06:14 作者: 有惡臭 時(shí)間: 2025-3-24 07:50 作者: 先驅(qū) 時(shí)間: 2025-3-24 11:22
Early diagnosis of osteoporosis,t be correlated into attack scenarios as soon as the alerts arrive. Such efficient correlation of alerts demands an in-memory index to be built on received alerts. However, the finite memory implies that only a limited number of alerts inside a sliding window can be considered for correlation. Knowi作者: 拋棄的貨物 時(shí)間: 2025-3-24 16:08 作者: 一條卷發(fā) 時(shí)間: 2025-3-24 19:25 作者: ANNUL 時(shí)間: 2025-3-25 01:08 作者: 頌揚(yáng)本人 時(shí)間: 2025-3-25 06:07
Policy Options and Related Non-Decisions, large number of systems. . techniques that try to detect such an attack and throttle down malicious traffic prevail today but usually require an additional infrastructure to be really effective. In this paper we show that . mechanisms can be as effective with much less effort: We present an approac作者: 感情脆弱 時(shí)間: 2025-3-25 07:57
Computer Security - ESORICS 2005978-3-540-31981-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Genistein 時(shí)間: 2025-3-25 13:47
R. Lindsay,D. M. Hart,H. Abdalla,D. Dempsterious polynomial evaluation protocol. And then we propose a novel implementation of our AOPE protocol. Finally we show that our construction is provably secure within our model. The potential areas of application of this protocol are numerous (two-party computation, bidding protocol, keyword search problem, and so on...).作者: jarring 時(shí)間: 2025-3-25 17:26
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233850.jpg作者: 范例 時(shí)間: 2025-3-25 20:02 作者: MOTTO 時(shí)間: 2025-3-26 00:10
Computerized Voting Machines: A View from the Trenches,y systems, and others count and deal with paper all the time. Instead, paperless computerized voting systems (Direct Recording Electronic or DREs) were touted as the solution to “the Florida problem”..Election officials in the U.S. were told that DREs in the long run would be cheaper than alternativ作者: cancellous-bone 時(shí)間: 2025-3-26 06:38
XML Access Control with Policy Matching Tree, the basis of data location or value in an XML document is therefore essential. However, current approaches to efficient access control over XML documents have suffered from scalability problems because they tend to work on individual documents. To resolve this problem, we proposed a table-based app作者: 過剩 時(shí)間: 2025-3-26 10:18
Semantic Access Control Model: A Formal Specification,s adequate solutions to the problems of access control in distributed and dynamic systems with heterogeneous security requirements. SAC is characterized by its flexibility for accommodating dissimilar security policies, but also by the ease of management and control over a large number of distribute作者: 否認(rèn) 時(shí)間: 2025-3-26 14:41
A Generic XACML Based Declarative Authorization Scheme for Java,platform for component-based software and systems, Java security is playing a key role in enterprise systems. The major drawback in the security support provided by J2EE and J2SE is the absence of a standard way to support instance level access control. JAAS does provide some help, but it is not wit作者: 阻礙 時(shí)間: 2025-3-26 17:11 作者: Indent 時(shí)間: 2025-3-27 01:01
Unified Index for Mobile Object Data and Authorizations,in the context of enforcing access control policies in a mobile data object environment. There are a number of applications that call for fine-grained specification of security policies in guaranteeing the confidentiality of data or privacy of individuals in a mobile environment. In particular, the 作者: 無目標(biāo) 時(shí)間: 2025-3-27 01:41
On Obligations,ssing requirements from the domain of data protection necessitates extending this notion with conditions that relate to the future. Obligations, in this sense, are concerned with commitments of the involved parties. At the moment of granting access, adherence to these commitments cannot be guarantee作者: 四溢 時(shí)間: 2025-3-27 05:17 作者: Biofeedback 時(shí)間: 2025-3-27 13:25
Machine-Checked Security Proofs of Cryptographic Signature Schemes,hy assumption, i.e. the hypothesis that there is no way to obtain knowledge about the plaintext pertaining to a ciphertext without knowing the key. A model that does not require the perfect cryptography assumption is the generic model and the random oracle model. These models provide non-standard co作者: fatty-acids 時(shí)間: 2025-3-27 15:48 作者: 珠寶 時(shí)間: 2025-3-27 18:13
Limits of the Cryptographic Realization of Dolev-Yao-Style XOR,ecurity protocols. Recently significant progress was made in proving that Dolev-Yao models can be sound with respect to actual cryptographic realizations and security definitions. The strongest results show this in the sense of reactive simulatability/UC, a notion that essentially means the preserva作者: FISC 時(shí)間: 2025-3-28 01:45
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study,implementations of these protocols lack the same level of attention and thus may be more exposed to attacks. This paper discusses security assurance provided by security-typed languages when implementing cryptographic protocols. Our results are based on a case study using Jif, a Java-based security-作者: Oafishness 時(shí)間: 2025-3-28 03:02 作者: paradigm 時(shí)間: 2025-3-28 07:22 作者: daredevil 時(shí)間: 2025-3-28 11:57
An Efficient and Unified Approach to Correlating, Hypothesizing, and Predicting Intrusion Alerts,t be correlated into attack scenarios as soon as the alerts arrive. Such efficient correlation of alerts demands an in-memory index to be built on received alerts. However, the finite memory implies that only a limited number of alerts inside a sliding window can be considered for correlation. Knowi作者: mercenary 時(shí)間: 2025-3-28 16:58 作者: Opponent 時(shí)間: 2025-3-28 22:17
On Scalability and Modularisation in the Modelling of Network Security Systems,ion of a variety of mechanisms necessary to fulfil the protection requirements of the upcoming scenarios. The integrated design and management of different security technologies and mechanisms are thus of great interest. Especially in large-scale environments, the employment of security services and作者: Affectation 時(shí)間: 2025-3-29 02:56
Sybil-Resistant DHT Routing,uch systems want them used in open networks, where an adversary can perform a sybil attack by introducing a large number of corrupt nodes in the network, considerably degrading its performance. We introduce a routing strategy that alleviates some of the effects of such an attack by making sure that 作者: Fierce 時(shí)間: 2025-3-29 03:15 作者: 預(yù)知 時(shí)間: 2025-3-29 11:13
Specification and Validation of Authorisation Constraints Using UML and OCL,ch is a constraint specification language of Unified Modeling Language (UML) and describe how we can facilitate the USE tool to validate and test such policies. We also discuss the issues of identification of conflicting constraints and missing constraints.作者: AVANT 時(shí)間: 2025-3-29 11:38 作者: 寬敞 時(shí)間: 2025-3-29 18:51
Sybil-Resistant DHT Routing,lookups are performed using a diverse set of nodes. This ensures that at least some of the nodes queried are good, and hence the search makes forward progress. This strategy makes use of latent social information present in the introduction graph of the network.作者: Pandemic 時(shí)間: 2025-3-29 21:08 作者: SEEK 時(shí)間: 2025-3-30 02:54 作者: 無目標(biāo) 時(shí)間: 2025-3-30 05:31
R. Lindsay,D. M. Hart,H. Abdalla,D. Dempstergner. We present constructions for this new primitive, based on standard signature schemes and secure under common cryptographic assumptions. We also provide experimental measurements for the implementation of a sanitizable signature scheme and demonstrate its practicality.作者: 慢慢啃 時(shí)間: 2025-3-30 10:25
A Practical Voter-Verifiable Election Scheme,rocess with minimal dependence on the system components. Thus, assurance arises from verification of the election rather than having to place trust in the correct behaviour of components of the voting system. The scheme also seeks to make the voter interface as familiar as possible.作者: Campaign 時(shí)間: 2025-3-30 14:14 作者: 耐寒 時(shí)間: 2025-3-30 17:04 作者: 脫水 時(shí)間: 2025-3-31 00:24
Acute Treatment of Episodic Migraine SAC to detect semantically incomplete or incorrect access control policies. Additionally, the formal model of SAC along with some proofs of its soundness is introduced. This formalization is the basis for additional model checking of the semantic validation algorithms developed.作者: 高爾夫 時(shí)間: 2025-3-31 04:53
https://doi.org/10.1007/978-3-658-24376-0l framework that allows us to precisely specify data protection policies. A syntactic classification of formulas gives rise to natural and intuitive formal definitions of provisions and obligations. Based on this classification, we present different mechanisms for checking adherence to agreed upon commitments.作者: Spinous-Process 時(shí)間: 2025-3-31 05:04
D. Vandekerckhove,M. Dhont,R. Serreyn’s activities. If the user’s activities progress sufficiently up along the branches of the attack tree towards the goal of system compromise, we generate an alarm. Our system is not intended to replace existing intrusion detection and prevention technology, but rather is intended to complement current and future technology.作者: outset 時(shí)間: 2025-3-31 10:23 作者: 龍卷風(fēng) 時(shí)間: 2025-3-31 14:17
Policy Options and Related Non-Decisions,ely control them. To prevent such attacks, it is therefore possible to identify, infiltrate and analyze this remote control mechanism and to stop it in an automated fashion. We show that this method can be realized in the Internet by describing how we infiltrated and tracked IRC-based . which are the main DoS technology used by attackers today.作者: Respond 時(shí)間: 2025-3-31 20:38
Computerized Voting Machines: A View from the Trenches,ble and secure. No mention was made of the costs ballot design, of pre-election testing, and of secure storage of DREs; nothing was said about the threat of hidden malicious code; no mention was made of the inadequacy of the testing and certification processes, to say nothing of the difficulty of creating bug-free software.作者: 遺傳 時(shí)間: 2025-4-1 00:01
Semantic Access Control Model: A Formal Specification, SAC to detect semantically incomplete or incorrect access control policies. Additionally, the formal model of SAC along with some proofs of its soundness is introduced. This formalization is the basis for additional model checking of the semantic validation algorithms developed.作者: nonradioactive 時(shí)間: 2025-4-1 04:25 作者: 小鹿 時(shí)間: 2025-4-1 08:57
