Questions about matters of computer, software and communication security, that is how to protect systems against attacks.

learn more… | top users | synonyms (1)

8
votes
6answers
124 views

Could program verification techniques prevent bugs of the genre of Heartbleed from occurring?

On the matter of the Heartbleed bug, Bruce Schneier wrote in his Crypto-Gram of 15th April: '"Catastrophic" is the right word. On the scale of 1 to 10, this is an 11.' I read several years ago that a ...
4
votes
2answers
111 views

Is it theoretically exist a computer that never affected by computer virus? [closed]

Is it theoretically exist a computer that never affected by computer virus? just wonder if there could be a revolution on the computer?
0
votes
2answers
34 views

Understanding Return Oriented Programming on Harvard Architecture

I'm currently reading this paper: Code injection attacks on Harvard-architecture devices (ACM) (pdf) I understand the basics of what the attack is trying to do, but one thing really bothers me. If ...
5
votes
2answers
104 views

In general terms, how could the Thompson Hack be implemented in Microcode?

In his lecture Reflections on Trusting Trust, Ken Thompson describes a virus that infects a compiler; the infected compiler installs backdoors into programs, but the key part is that the infected ...
0
votes
0answers
3k views

Difference between Cloud router and Normal Router

I am doing my mini project on cloud computing security and I am trying to extent already done project on Security policies for Routers to enhance Network Security. I am trying to extend that to cloud ...
3
votes
2answers
119 views

Dangerous interrupts

Let's say we have a fictional operating system in the user mode. Whenever an interrupt or a trap occurs, the os would switch to the Kernel mode jumping to the address determined from the interrupt ...
2
votes
2answers
221 views

Handling untrusted string input in printf in C [closed]

I stumbled upon the MSDN Best Practices for Code Review. Under the section “Untrusted Inputs”, I found following which I didn't understand properly. Why is the following considered safe? ...
5
votes
1answer
66 views

Anonymization of dataset preserving unique identities

The $k$-anonymization paradigm (and its refinements) means to create datasets where every tuple is identical with $k-1$ others. However I'm in a situation where people are in the dataset many times. ...
9
votes
3answers
577 views

What is the branch of Computer Science that studies how Anti Virus programs work?

It is a trivial exercise in finite automata to show that there is no algorithm that can detect all the viruses, yet there are many software companies selling Anti Virus Software. Is there any part of ...
8
votes
3answers
254 views

Key secrecy vs Algorithm secrecy

it's a well known statement that "Cryptographic security must rely on a secret key instead of a secret algorithm." I would like to ask about some details about it. And which are their differences? ...
8
votes
1answer
388 views

Is WPA2 with pre-shared key an example of a zero-knowledge proof?

When setting up an access point and selecting WPA2, one must manually enter a pre-shared key (a password), PSK, into both the AP and the STA. Both parties, AP and STA, must authenticate each other. ...
2
votes
1answer
328 views

Can the Bell-LaPadula model emulate the Chinese Wall model?

I have been reading on security policies and the question wether Bell-LaPadula can be used to implement Chinese Wall. Does anyone know more about it?
3
votes
1answer
234 views

Security Lattice Construction

I am having a problem trying to solve a question on a past paper asking to design a security lattice. Here is the question: The AB model (Almost Biba) is a model for expressing integrity policies ...
1
vote
1answer
88 views

Where can I find good study material on Role Mining?

I need to cover these topics in Role Mining. If anyone knows good site which well summarizes the topics and concepts are well explained please help out. Basic role mining problem • Delta-approx RMP • ...
10
votes
1answer
429 views

How does Stack Inspection work?

This is precursor to my other, more advanced question about Stack Inspection. Stack Inspection is a security mechanism introduced in the JVM to deal with running code originating from locations ...
8
votes
2answers
436 views

Limitations of Stack Inspection

This is a follow up to the How does Stack Inspection work? that explores the notion in more detail Stack inspection is a mechanism for ensuring security in the context of the JVM and CLR virtual ...
9
votes
2answers
997 views

How does a wifi password encrypt data using WEP and WPA?

How does the password that we enter (to connect to a wireless network) encrypt the data on the wireless network? Through my reading I am not sure if the password that we enter is the same as the ...
4
votes
2answers
162 views

Fine-grained security models for XML data

Access control models are typically very coarse-grained, allowing one access to a resource (possibly with some combination of read/write/execute permission) or exclude such access. Some models of ...